You have Guest access.
Log In
Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka and Luís Moniz Pereira
Front matter
1
‘On Being Informed’: Update Logics for Knowledge States
2-20
Considerations on Updates of Logic Programs
21-36
The Approach: Integrating Object Oriented Design and Formal Verification
37-56
Semi-qualitative Reasoning about Distances: A Preliminary Report
57-72
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
73-86
Topo-distance: Measuring the Difference between Spatial Patterns
87-101
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus
102-117
Capturing Stationary and Regular Extensions with Reiter’s Extensions
118-132
Representing the Process Semantics in the Event Calculus
133-147
Declarative Formalization of Strategies for Action Selection: Applications to Planning
148-162
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
163-178
Acceptance Without Minimality
179-192
Reduction Theorems for Boolean Formulas Using Δ-Trees
193-208
Simultaneous Rigid Sorted Unification
209-223
Partially Adaptive Code Trees
224-238
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments
239-253
Credulous and Sceptical Argument Games for Preferred Semantics
254-268
A General Approach to Multi-agent Minimal Knowledge
269-283
A Modal Logic for Network Topologies
284-299
Avoiding Logical Omniscience by Using Subjective Situations
300-312
Multi-agent VSK \mathcal{V}\mathcal{S}\mathcal{K} Logic
313-328
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
329-344
Monodic Epistemic Predicate Logic
345-360
Updates plus Preferences
361-375
A Framework for Belief Update
376-390
A Compilation of Brewka and Eiter’s Approach to Prioritization
391-406
A Logic for Modeling Decision Making with Dynamic Preferences
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info