Artificial Intelligence

Agents

• Multi-Agent Simulation of En-Route Human Air-Traffic Controller (IAAI 2012)
  • Introduces AgentFly agent-based simulator for national aerospace systems.
• Multi-Agent Simulation Approach to Development of Applications for Decentralized Tactical Missions (KSCO 2012)
  • Multi-level, iteratively refined simulation for development of agent systems.
• Intelligent Mobile Agents in Military Command and Control (AIW 2000)
  • Extremely light (near empty) overview of EMAA agents for C2.

Artificial Intelligence (general)

• Computing Machinery and Intelligence (Mind 1950)
  • Debut of the Turing test.
• Programs with Common Sense (Thought 1959)
  • McCarthy's Advice Taker, conceptualization of declarative reasoning software.

Description Logics

• Pushing the EL Envelope (IJCAI 2005)
  • Discusses tractability of several extensions of the EL description logic.
• On Logics with Two Variables (TCS 1999)
  • Survey of decidability results for various logics of two variables, formalization of logics with two variables.
• On the Decision Problem for Two-Variable First-Order Logic (Symbolic 1997)
  • Lowers the complexity bound of satisfiability for logics with two variables.
• On the Relative Expressiveness of Description Logics and Predicate Logics (AIJ 1996)
  • Relates several common, overarching DL languages into L2 and L3 fragments of first order logic, implying expressiveness and decidability bounds

Game AI

• Terrain Analysis for Realtime Strategy Games (Gamasutra 2000)
  • Discusses basic mechanisms used in providing input to AI players.

Ontologies

• Goals in a Formal Theory of Commonsense Psychology (FOIS 2010)
  • Outlines a first order ontology of goals and planning.
• SCOPE: A Situation Calculus Ontology of Petri Nets (FOIS 2010)
  • Redefines Petri nets within situation calculus, enabling proof based analysis
• Foundational Process Relations in Bio-Ontologies (FOIS 2010)
  • Improves on the formality of the BFO by definining process concepts within PSL
• Universal Core Semantic Layer (OIC 2009)
  • Outlines UCore SL and C2Core, OWL ontologies for extending UCore based applications

Ontology Engineering

• A Lightweight Methodology for Rapid Ontology Engineering (CACM 2016)
  • Overview of UPON Lite process for rapid development of ontologies by domain experts rather than knowledge engineers.

Process Modeling

• A Computer Scientists's Guide to Business Process Management (BPM) (ACM Crossroads 2009)
  • Quick overview of business process management, modeling, etc. Decent terminology guide, good references.

Robotics

• Intelligence without Representation (AIJ 1991)
  • AIs and robots must be situated in world, constructed through continual connection of smaller but complete behaviors.
• Fast, Cheap and Out of Control: A Robot Invasion of the Solar System (BIS 1989)
  • Swarms of small, simpler robots offer many advantages for interplanetary exploration.
• Temporal Logic Motion Planning for Mobile Robots (ICRA 2005)
  • Combines linear temporal logic and path planning to specify and enact robot movement.

Semantic Translation

• Model-Theoretic Approaches to Semantic Integration (Dagstuhl 2005)
  • Outlines approach to semantic integration behind PSL, several definitions required to define it
• Semantic Mediation for Standard-Based B2B Interoperability (IEEE IC 2010)
  • Outlines a semantic mediator for B2B based on applying rules translating between proprietary and standardized message models/ontologies.
• Ontology-Based Integration of Information---A Survey of Existing Approaches (IJCAI OIS 2001)
  • Outlines general approaches and some tools used in information integration, mostly with a DL perspective.
• Ontology-Based Semantics (KR 2000)
  • Defines knowledge-based semantic translation via ontology-based models.
• Ontology Verification with Repositories (FOIS 2010)
  • Methodology for verifying ontology against classes of intended models via building network of model modules
• Semantic Integration: A Survey of Ontology-Based Approaches (SIGMOD 2004)
  • Very brief survey of ontology mapping discovery, declaration, and application.
• Artemis Message Exchange Framework: Semantic Interoperability of Exchanged Messages in the Healthcare Domain (SIGMOD Record 2005)
  • System for healthcare message exchange, based on fairly manual ontology mapping.
• Samoa: A Semi-Automated Ontology Alignment Method for Systems Integration in Safety-Critical Environments (CISIS 2009)
  • Alignment in large scale ontologies.
• Semantic Integration of Heterogeneous Software Specifications (Springer 2004)
  • Outlines a reference model for integrating differing models of a software project.

Semantic Web/RDF/OWL

• SPARQL Query Processing with Conventional Relational Database Systems (IWSSWKBS 2005)
  • Relatively straight forward scheme for evaluating most of SPARQL within standard DB SQL
• Ontologies and the Semantic Web (CACM 2008)
  • Overviews Semantic Web, RDF, OWL; good examples of reasoning and solid applications (mostly medical); highlights some ongoing developments.
• Bubo---Implementing OWL in Rule-Based Systems (WWW 2003)
  • Translation of OWL DL semantics to logic programming, relational databases.
• 3D Media and the Semantic Web (IEEE IS 2009)
  • High level discussion of applicability and problems of annotating 3D data with Semantic Web markup.
• A "Smart" Cyberinfrastructure for Research (CACM 2009)
  • Refers to several projects in embedding domain annotations into Word and other documents
• ''SPARQL Query Processing with Conventional Relational Database Systems'' (WISE 2005)
  • Overview of the 3store RDF triple store system.
• Scalable Semantic Web Data Management Using Vertical Partitioning (VLDB 2007)
  • Compares monolithic, property table, and vertically partitioned structures for RDF in RDBMS.
• Web Science: An Interdisciplinary Approach to Understanding the Web (CACM 2008)
  • Need new mechanisms by which to analyze web applications.
• Named Graphs, Provenance and Trust (WWW 2005)
  • Introduction to RDF named graph semantics and uses.
• An Evaluation of Triple-Store Technologies for Large Data Stores (OTM 2007)
  • LUBM based evaluation of several triple stores.
• Column-Store Support for RDF Data Management: Not All Swans Are White (VLDB 2008)
  • Revisits RDF store vertical partitioning scheme of Abadi.
• An Experimental Evaluation of Relational RDF Storage and Querying Techniques (DSAA 2010)
  • Comparative performance of RDF store styles in commercial DBs.