- Discovering hidden structure in factored MDPs.Andrey Kolobov, Mausam & Daniel S. Weld - 2012 - Artificial Intelligence 189 (C):19-47.details
|
|
Adaptively applying modus ponens in conditional logics of normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1):125-148.details
|
|
A consistency-based approach for belief change.James P. Delgrande & Torsten Schaub - 2003 - Artificial Intelligence 151 (1-2):1-41.details
|
|
Using crude probability estimates to guide diagnosis.Johan de Kleer - 1990 - Artificial Intelligence 45 (3):381-391.details
|
|
Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.details
|
|
Extending the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):163-196.details
|
|
Eliminating the fixed predicates from a circumscription.Johan de Kleer & Kurt Konolige - 1989 - Artificial Intelligence 39 (3):391-398.details
|
|
Diagnosing multiple faults.Johan de Kleer & Brian C. Williams - 1987 - Artificial Intelligence 32 (1):97-130.details
|
|
Characterizing diagnoses and systems.Johan de Kleer, Alan K. Mackworth & Raymond Reiter - 1992 - Artificial Intelligence 56 (2-3):197-222.details
|
|
A perspective on assumption-based truth maintenance.Johan de Kleer - 1993 - Artificial Intelligence 59 (1-2):63-67.details
|
|
Tree clustering for constraint networks.Rina Dechter & Judea Pearl - 1989 - Artificial Intelligence 38 (3):353-366.details
|
|
Structure-driven algorithms for truth maintenance.Rina Dechter & Avi Dechter - 1996 - Artificial Intelligence 82 (1-2):1-20.details
|
|
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.details
|
|
Dynamic across-time measurement interpretation.Dennis DeCoste - 1991 - Artificial Intelligence 51 (1-3):273-341.details
|
|
Temporal data base management.Thomas L. Dean & Drew V. McDermott - 1987 - Artificial Intelligence 32 (1):1-55.details
|
|
The representation of legal contracts.Aspassia Daskalopulu & Marek Sergot - 1997 - AI and Society 11 (1-2):6-17.details
|
|
A logical notion of conditional independence: properties and applications.Adnan Darwiche - 1997 - Artificial Intelligence 97 (1-2):45-82.details
|
|
O-Plan: The open planning architecture.Ken Currie & Austin Tate - 1991 - Artificial Intelligence 52 (1):49-86.details
|
|
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning.Daniel Bryce, William Cushing & Subbarao Kambhampati - 2011 - Artificial Intelligence 175 (3-4):848-889.details
|
|
Reasoning about nonlinear system identification.Elizabeth Bradley, Matthew Easley & Reinhard Stolle - 2001 - Artificial Intelligence 133 (1-2):139-188.details
|
|
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study part 1: The flat case.Salem Benferhat, Didier Dubois & Henri Prade - 1997 - Studia Logica 58 (1):17-45.details
|
|
Handling locally stratified inconsistent knowledge bases.Salem Benferhat & Laurent Garcia - 2002 - Studia Logica 70 (1):77-104.details
|
|
Consistency restoration and explanations in dynamic CSPs—Application to configuration.Jérôme Amilhastre, Hélène Fargier & Pierre Marquis - 2002 - Artificial Intelligence 135 (1-2):199-234.details
|
|
Graphs of models.Sanjaya Addanki, Roberto Cremonini & J. Scott Penberthy - 1991 - Artificial Intelligence 51 (1-3):145-177.details
|
|
仮説推論に対する3種の近似解法.岡峰 正 越野 亮 - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16:465-472.details
|
|
The Dynamics of Thought.Peter Gardenfors - 2005 - Dordrecht, Netherland: Springer.details
|
|
Using approximate reasoning to represent default knowledge.Ronald R. Yager - 1987 - Artificial Intelligence 31 (1):99-112.details
|
|
Exploiting the deep structure of constraint problems.Colin P. Williams & Tad Hogg - 1994 - Artificial Intelligence 70 (1-2):73-117.details
|
|
Compiling constraint satisfaction problems.Rainer Weigel & Boi Faltings - 1999 - Artificial Intelligence 115 (2):257-287.details
|
|
Eight dialectic benchmarks discussed by two artificial localist disputors.Gerard A. W. Vreeswijk - 2001 - Synthese 127 (1-2):221 - 253.details
|
|
Constraint satisfaction using constraint logic programming.Pascal Van Hentenryck, Helmut Simonis & Mehmet Dincbas - 1992 - Artificial Intelligence 58 (1-3):113-159.details
|
|
The Little Nell Problem: reasonable and resolute maintenance of agent intentions.Richmond H. Thomason - 2018 - Synthese 195 (1):433-440.details
|
|
European Summer Meeting of the Association for Symbolic Logic.E. -J. Thiele - 1992 - Journal of Symbolic Logic 57 (1):282-351.details
|
|
Changing the theory of theory change: Towards a computational approach.Neil Tennant - 1994 - British Journal for the Philosophy of Science 45 (3):865-897.details
|
|
The glair cognitive architecture.Stuart C. Shapiro & Jonathan P. Bona - 2010 - International Journal of Machine Consciousness 2 (2):307-332.details
|
|
Resolving ambiguity in nonmonotonic inheritance hierarchies.Lynn Andrea Stein - 1992 - Artificial Intelligence 55 (2-3):259-310.details
|
|
Extending and implementing the stable model semantics.Patrik Simons, Ilkka Niemelä & Timo Soininen - 2002 - Artificial Intelligence 138 (1-2):181-234.details
|
|
Logical Theories of Intention and the Database Perspective.Yoav Shoham - 2009 - Journal of Philosophical Logic 38 (6):633-647.details
|
|
Constraint-based design for 3D shapes.Shuichi Shimizu & Masayuki Numao - 1997 - Artificial Intelligence 91 (1):51-69.details
|
|
Support set selection for a bductive and default reasoning.Bart Selman & Hector J. Levesque - 1996 - Artificial Intelligence 82 (1-2):259-272.details
|
|
Implicates and prime implicates in Random 3-SAT.Robert Schrag & James M. Crawford - 1996 - Artificial Intelligence 81 (1-2):199-222.details
|
|
Evidential bilattice logic and lexical inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.details
|
|
A logic for reasoning with inconsistent knowledge.Nico Roos - 1992 - Artificial Intelligence 57 (1):69-103.details
|
|
The Use of Logical Models in Legal Problem Solving.Marek Sergot Robert Kowalski - 1990 - Ratio Juris 3 (2):201-218.details
|
|
Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks.David Poole - 1996 - Artificial Intelligence 88 (1-2):69-100.details
|
|
Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.details
|
|
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.details
|
|
Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions.Yukio Ohsawa & Mitsuru Ishizuka - 1997 - Artificial Intelligence 91 (1):131-154.details
|
|
What makes propositional abduction tractable.Gustav Nordh & Bruno Zanuttini - 2008 - Artificial Intelligence 172 (10):1245-1284.details
|
|
Digital technologies and artificial intelligence’s present and foreseeable impact on lawyering, judging, policing and law enforcement.Ephraim Nissan - 2017 - AI and Society 32 (3):441-464.details
|
|