To Vladimir Lifschitz on His 65th Birthday
From MaRDI portal
Publication:2900498
DOI10.1007/978-3-642-30743-0_1zbMath1357.01013OpenAlexW66106833MaRDI QIDQ2900498
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
Logic in artificial intelligence (68T27) Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Equilibrium logic
- What is the inverse method?
- Semantical considerations on nonmonotonic logic
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Stable and extension class theory for logic programs and default logics
- Generalized disjunctive well-founded semantics for logic programs.
- Extending and implementing the stable model semantics
- Logic programs with stable model semantics as a constraint programming paradigm
- STRIPS: A new approach to the application of theorem proving to problem solving
- Homage to Michael Gelfond on His 65 th Birthday
- A fixpoint semantics for disjunctive logic programs
- The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms
- The Efficiency of an Algorithm of Integer Programming: A Probabilistic Analysis
- The Semantics of Predicate Logic as a Programming Language
- An overview of nonmonotonic reasoning and logic programming
- Representing action and change by logic programs
- The DLV system for knowledge representation and reasoning
- Logic Programming and Nonmonotonic Reasoning
- Sixty Years of Stable Models
- A Machine-Oriented Logic Based on the Resolution Principle
- Strongly equivalent logic programs
This page was built for publication: To Vladimir Lifschitz on His 65th Birthday
