Minker, Jack (ed.) Logic-based artificial intelligence. Proceedings of a workshop, Washington, DC, USA, June 1999. (English) Zbl 0960.00037 The Kluwer International Series in Engineering and Computer Science. 597. Dordrecht: Kluwer Academic Publishers. xxiii, 606 p. (2000). Show indexed articles as search result. The articles of this volume will be reviewed individually.Indexed articles:Minker, Jack, Introduction to logic-based artificial intelligence, 3-33 [Zbl 0979.68095]McCarthy, John, Concepts of logical AI, 37-56 [Zbl 0979.68096]De Giacomo, Giuseppe; Levesque, Hector, Two approaches to efficient open-world reasoning, 59-78 [Zbl 0979.68097]Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald, Declarative problem-solving using the DLV system, 79-103 [Zbl 0979.68091]Delgrande, James P.; Schaub, Torsten, The role of default logic in knowledge representation, 107-126 [Zbl 0979.68098]Denecker, Marc; Marek, Victor; Truszczyński, Mirosław, Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning, 127-144 [Zbl 0988.68183]Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; Tacchella, Armando, Getting to the airport: The oldest planning problem in AI, 147-165 [Zbl 0979.68099]Kautz, Henry; Selman, Bart, Encoding domain and control knowledge for propositional planning, 169-186 [Zbl 0979.68094]Geffner, Héctor, Functional strips: A more flexible language for planning and problem solving, 187-209 [Zbl 0979.68092]Pirri, Fiora; Reiter, Raymond, Planning with natural actions in the situation calculus, 213-231 [Zbl 0980.68103]Shanahan, Murray, Reinventing Shakey, 233-253 [Zbl 0979.68115]Baral, Chitta; Gelfond, Michael, Reasoning agents in dynamic domains, 257-279 [Zbl 0979.68100]Meyer, J.-J. Ch., Dynamic logic for reasoning about actions and agents, 281-311 [Zbl 0988.03054]Muggleton, Stephen; Marginean, Flaviu, Logic-based machine learning, 315-330 [Zbl 0979.68082]Benferhat, Salem; Dubois, Didier; Fargier, Hélène; Prade, Henri; Sabbadin, Régis, Decision, nonmonotonic reasoning and possibilistic logic. An introductory survey of recent results, 333-358 [Zbl 0979.68113]Perlis, Don, The role(s) of belief in AI, 361-374 [Zbl 0981.68149]Thomason, Richmond H., Modeling the beliefs of other agents. Achieving mutuality, 375-403 [Zbl 0979.68101]Schubert, Lenhart K., The situations we talk about, 407-439 [Zbl 0979.68116]Gottlob, Georg; Grädel, Erich; Veith, Helmut, Linear time Datalog and branching time logic, 443-467 [Zbl 0979.68060]Nebel, Bernhard, On the expressive power of planning formalisms. Conditional effects and Boolean preconditions in the STRIPS formalisms, 469-488 [Zbl 0981.68150]Niemelä, Ilkka; Simons, Patrik, Extending the Smodels system with cardinality and weight constraints, 491-521 [Zbl 0979.68015]Wang, Haixun; Zaniolo, Carlo, Nonmonotonic reasoning in \(LDL^{++}\), 523-544 [Zbl 0979.68041]Moore, J. Strother, Towards a mechanically checked theory of computation. The ACL2 project, 547-574 [Zbl 0979.68090]Levy, Alon Y., Logic-based techniques in data integration, 575-595 [Zbl 0979.68102] MSC: 00B25 Proceedings of conferences of miscellaneous specific interest 03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations 68-06 Proceedings, conferences, collections, etc. pertaining to computer science Keywords:Proceedings; Workshop; Washington, DC (USA); Logic-based artificial intelligence PDFBibTeX XMLCite \textit{J. Minker} (ed.), Logic-based artificial intelligence. Proceedings of a workshop, Washington, DC, USA, June 1999. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0960.00037)