default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 57
Volume 57, Number 1, 1992
- John L. Pollock:
How to Reason Defeasibly. 1-42 - Martha E. Pollack:
The Uses of Plans. 43-68 - Nico Roos:
A Logic for Reasoning with Inconsistent Knowledge. 69-103
- Peter B. Ladkin, Alexander Reinefeld:
Effective Solution of Qualitative Interval Constraint Problems. 105-124 - Philip C. Jackson Jr.
:
Proving Unsatisfiability for Problems with Constant Cubic Sparsity. 125-137
Volume 57, Numbers 2-3, 1992
- David E. Foulser, Ming Li, Qiang Yang:
Theory and Algorithms for Plan Merging. 143-181 - Nigel Ward:
A Parallel Approach to Syntax for Generation. 183-225 - Thomas Eiter, Georg Gottlob:
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. 227-270 - Fangzhen Lin, Yoav Shoham:
A Logic of Knowledge and Justified Assumptions. 271-289 - Pascal Van Hentenryck, Yves Deville, Choh Man Teng:
A Generic Arc-Consistency Algorithm and its Specializations. 291-321 - Fausto Giunchiglia, Toby Walsh:
A Theory of Abstraction. 323-389
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
