Sold Out
Book Categories |
Program Committee | ||
Preface | ||
Referees | ||
I | Implementation | |
1 | Autonomous Control of Hybrid Systems with Declarative Controllers (invited) | 3 |
2 | Implementing Stable Semantics by Linear Programming | 23 |
3 | Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties | 43 |
4 | Connectionist Approach to Finding Stable Models and Other Structures in Non-monotonic Reasoning | 60 |
5 | SLS-Resolution without Floundering | 82 |
II | MBNF and Related Topics | |
6 | Extended Logic Programs as Autoepistemic Theories | 101 |
7 | Reflexive Autoepistemic Logic and Logic Programming | 115 |
8 | Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes) | 132 |
9 | Autoepistemic Logic Programming | 151 |
III | Stability and Related Topics | |
10 | An Assumption-based Framework for Non-monotonic Reasoning (invited) | 171 |
11 | Contributions to the Stable Model Semantics of Logic Programs with Negation | 190 |
12 | A Characterization of Stable Models Using a Non-monotonic Operator | 206 |
13 | Negation as Failure to Support | 223 |
14 | Negation as Partial Failure | 244 |
IV | Disjunctive LP, Inconsistency Handling | |
15 | Recent Complexity Results in Logic Programming and Non-monotonic Reasoning, and Why They Matter (invited) | 265 |
16 | Relating Disjunctive Logic Programs to Default Theories | 266 |
17 | Rational Default Logic and Disjunctive Logic Programming | 283 |
18 | Reasoning with Inconsistency in Extended Deductive Databases | 300 |
19 | Diagnosis and Debugging as Contradiction Removal | 316 |
V | Nonstandard Semantics | |
20 | Tools for Deductive Databases (invited) | 333 |
21 | Scenario Semantics of Extended Logic Programs | 334 |
22 | An Abductive Framework for Generalized Logic Programs | 349 |
23 | Justification Semantics: A Unifying Framework for the Semantics of Logic Programs | 365 |
24 | A Non-monotonic Reasoning Formalism Using Implicit Specific its Information | 380 |
25 | Reasoning in Open Domains | 397 |
VI | Constructive Logic | |
26 | An Intuitionistic Interpretation of Finite and Infinite Failure | 417 |
27 | Canonical Kripke Models and the Intuitionistic Semantics of Logic Programs | 437 |
28 | Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Non-monotonic Formalisms | 457 |
29 | A Sequent Axiomatization of Three-valued Logic with Two Negations | 476 |
Author Index | 495 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionLogic Programming and Non-Monotonic Reasoning : Proceedings of the Second International Workshop 1993
X
This Item is in Your InventoryLogic Programming and Non-Monotonic Reasoning : Proceedings of the Second International Workshop 1993
X
You must be logged in to review the productsX
X
X
Add Logic Programming and Non-Monotonic Reasoning : Proceedings of the Second International Workshop 1993, This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship , Logic Programming and Non-Monotonic Reasoning : Proceedings of the Second International Workshop 1993 to the inventory that you are selling on WonderClubX
X
Add Logic Programming and Non-Monotonic Reasoning : Proceedings of the Second International Workshop 1993, This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship , Logic Programming and Non-Monotonic Reasoning : Proceedings of the Second International Workshop 1993 to your collection on WonderClub |