To Vladimir Lifschitz on His 65th Birthday

DOI10.1007/978-3-642-30743-0_1MaRDI QIDQ2900498zbMATH OpenOpenAlexFDO

Authors Jack Minker

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_1

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) Logic in artificial intelligence (68T27)

Cites work

• A fixpoint semantics for disjunctive logic programs
• A logic for default reasoning
• A Machine-Oriented Logic Based on the Resolution Principle
• An overview of nonmonotonic reasoning and logic programming
• Circumscription - a form of non-monotonic reasoning
• Equilibrium logic
• Extending and implementing the stable model semantics
• Extending the Smodels system with cardinality and weight constraints
• Generalized disjunctive well-founded semantics for logic programs.
• Getting to the airport: The oldest planning problem in AI
• Homage to Michael Gelfond on his 65th birthday
• scientific article; zbMATH DE number 5910656 (Why is no real title available?)
• scientific article; zbMATH DE number 4199654 (Why is no real title available?)
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4147465 (Why is no real title available?)
• scientific article; zbMATH DE number 4106291 (Why is no real title available?)
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 88998 (Why is no real title available?)
• scientific article; zbMATH DE number 3640922 (Why is no real title available?)
• scientific article; zbMATH DE number 3441640 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 3415412 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with stable model semantics as a constraint programming paradigm
• Reminiscences on the anniversary of 30 years of nonmonotonic reasoning
• Representing action and change by logic programs
• Semantical considerations on nonmonotonic logic
• Sixty Years of Stable Models
• Stable and extension class theory for logic programs and default logics
• STRIPS: A new approach to the application of theorem proving to problem solving
• Strongly equivalent logic programs
• The DLV system for knowledge representation and reasoning
• The Efficiency of an Algorithm of Integer Programming: A Probabilistic Analysis
• The Semantics of Predicate Logic as a Programming Language
• The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms
• What is the inverse method?

Cited in

(2)

• scientific article; zbMATH DE number 1220015 (Why is no real title available?)
• On the 60th Birthday of V. A. Vatutin

Describes a project that uses

Uses Software

• Smodels
• clasp

This page was built for publication: To Vladimir Lifschitz on His 65th Birthday

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900498)