Knowledge Representation and Reasoning
Boolean Satisfiability
Generating Satisfiable Problem Instances
PDFSolving the Round Robin Problem Using Propositional Logic
PDFA Demand-Driven Algorithm for Generating Minimal Models
PDFRedundancy in Random SAT Formulas
PDFOn 2-SAT and Renamable Horn
PDFA Distributed Algorithm to Evaluate Quantified Boolean Formulae
PDFIntegrating Equivalency Reasoning into Davis-Putnam Procedure
PDFLocal Search Characteristics of Incomplete SAT Procedures
PDFMarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability
PDFAn Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems
PDF
Case-Based Reasoning
Computational Complexity of Reasoning
Decision Theory
Logic
Nonmonotonic Reasoning
Ontology
Reasoning about Actions and Time
(De)Composition of Situation Calculus Theories
PDFDisjunctive Temporal Reasoning in Partially Ordered Models of Time
PDFAn Interval Algebra for Indeterminate Time
PDFcc-Golog: Towards More Realistic Logic-Based Robot Controllers
PDFWhat Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
PDFExecution of Temporal Plans with Uncertainty
PDFModeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains and a Case Study
PDF