Logics in artificial intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 proceedings / / Jurgen Dix, Luis FarinÌas del Cerro, Ulrich Furbach (eds.) |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
Descrizione fisica | 1 online resource (X, 390 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Artificial intelligence |
ISBN | 3-540-49545-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic Programming -- The Well-Founded Semantics Is the Principle of Inductive Definition -- Combining Introspection and Communication with Rationality and Reactivity in Agents -- Disjunctive Logic Program = Horn Program + Control Program -- Semantics of Partial-Order Programs -- Epistemic Logics -- Persistence and Minimality in Epistemic Logic -- Prohairetic Deontic Logic (PDL) -- Phased Labeled Logics of Conditional Goals -- Theorem Proving -- Analysis of Distributed-Search Contraction-Based Strategies -- A Deduction Method Complete for Refutation and Finite Satisfiability -- Requirement-Based Cooperative Theorem Proving -- ?-Resolution: An Inference Rule for Regular Multiple-Valued Logics -- A Matrix Characterization for -- A Resolution Calculus for Dynamic Semantics -- Algorithms on Atomic Representations of Herbrand Models -- Non-monotonic Reasoning -- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription -- An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem -- Towards State Update Axioms: Reifying Successor State Axioms -- Non-standard Logics -- A Mechanised Proof System for Relation Algebra Using Display Logic -- Relative Similarity Logics are Decidable: Reduction to FO2 with Equality -- A Conditional Logic for Belief Revision -- Implicates and Reduction Techniques for Temporal Logics -- A Logic for Anytime Deduction and Anytime Compilation -- Knowledge Representation -- On Knowledge, Strings, and Paradoxes -- Propositional Lower Bounds: Generalization and Algorithms -- Higher Order Logics -- Higher Order Generalization -- Invited Talks -- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary -- Towards Inference and Computation Mobility: The Jinni Experiment. |
Record Nr. | UNINA-9910143484803321 |
Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logics in artificial intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 proceedings / / Jurgen Dix, Luis FarinÌas del Cerro, Ulrich Furbach (eds.) |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
Descrizione fisica | 1 online resource (X, 390 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Artificial intelligence |
ISBN | 3-540-49545-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic Programming -- The Well-Founded Semantics Is the Principle of Inductive Definition -- Combining Introspection and Communication with Rationality and Reactivity in Agents -- Disjunctive Logic Program = Horn Program + Control Program -- Semantics of Partial-Order Programs -- Epistemic Logics -- Persistence and Minimality in Epistemic Logic -- Prohairetic Deontic Logic (PDL) -- Phased Labeled Logics of Conditional Goals -- Theorem Proving -- Analysis of Distributed-Search Contraction-Based Strategies -- A Deduction Method Complete for Refutation and Finite Satisfiability -- Requirement-Based Cooperative Theorem Proving -- ?-Resolution: An Inference Rule for Regular Multiple-Valued Logics -- A Matrix Characterization for -- A Resolution Calculus for Dynamic Semantics -- Algorithms on Atomic Representations of Herbrand Models -- Non-monotonic Reasoning -- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription -- An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem -- Towards State Update Axioms: Reifying Successor State Axioms -- Non-standard Logics -- A Mechanised Proof System for Relation Algebra Using Display Logic -- Relative Similarity Logics are Decidable: Reduction to FO2 with Equality -- A Conditional Logic for Belief Revision -- Implicates and Reduction Techniques for Temporal Logics -- A Logic for Anytime Deduction and Anytime Compilation -- Knowledge Representation -- On Knowledge, Strings, and Paradoxes -- Propositional Lower Bounds: Generalization and Algorithms -- Higher Order Logics -- Higher Order Generalization -- Invited Talks -- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary -- Towards Inference and Computation Mobility: The Jinni Experiment. |
Record Nr. | UNISA-996466150003316 |
Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|