Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence) - Taschenbuch

EAN (ISBN-13): 9783540411314
ISBN (ISBN-10): 3540411313
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin
424 Seiten
Gewicht: 0,632 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-13T22:57:00+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-15T18:25:30+01:00 (Berlin)
ISBN/EAN: 9783540411314

ISBN - alternative Schreibweisen:
3-540-41131-3, 978-3-540-41131-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: guzman, ojeda luis, brewka, paulo ribenboim
Titel des Buches: malaga, art and cartography, september band, 1919 2000, what logics mean, lecture notes artificial intelligence, october, computer

---

Daten vom Verlag:

Autor/in: Manuel Ojeda-Aciego; Inma P. de Guzman; Gerhard Brewka; Luis M. Pereira
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logics in Artificial Intelligence - European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings
Verlag: Springer; Springer Berlin
412 Seiten
Erscheinungsjahr: 2000-09-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 412 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Action; agents; artificial intelligence; complexity; intelligence; knowledge; knowledge representation; proving; theorem proving; Artificial Intelligence; Compilers and Interpreters; Formal Languages and Automata Theory; Programming Techniques; Compiler und Übersetzer; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA

Invited Talks.- ‘On Being Informed’: Update Logics for Knowledge States.- Considerations on Updates of Logic Programs.- The Approach: Integrating Object Oriented Design and Formal Verification.- Semi-qualitative Reasoning about Distances: A Preliminary Report.- Regular Contributions.- Hybrid Probabilistic Logic Programs as Residuated Logic Programs.- Topo-distance: Measuring the Difference between Spatial Patterns.- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus.- Capturing Stationary and Regular Extensions with Reiter’s Extensions.- Representing the Process Semantics in the Event Calculus.- Declarative Formalization of Strategies for Action Selection: Applications to Planning.- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases.- Acceptance Without Minimality.- Reduction Theorems for Boolean Formulas Using ?-Trees.- Simultaneous Rigid Sorted Unification.- Partially Adaptive Code Trees.- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments.- Credulous and Sceptical Argument Games for Preferred Semantics.- A General Approach to Multi-agent Minimal Knowledge.- A Modal Logic for Network Topologies.- Avoiding Logical Omniscience by Using Subjective Situations.- Multi-agent Logic.- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases.- Monodic Epistemic Predicate Logic.- Updates plus Preferences.- A Framework for Belief Update.- A Compilation of Brewka and Eiter’s Approach to Prioritization.- A Logic for Modeling Decision Making with Dynamic Preferences.
Includes supplementary material: sn.pub/extras