Logics In Artificial Intelligence Book

	'On Being Informed': Update Logics for Knowledge States	1
	Considerations on Updates of Logic Programs	2
	The KeY Approach: Integrating Object Oriented Design and Formal Verification	21
	Semi-qualitative Reasoning about Distances: A Preliminary Report	37
	Hybrid Probabilistic Logic Programs as Residuated Logic Programs	57
	Topo-distance: Measuring the Difference between Spatial Patterns	73
	An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus	87
	Capturing Stationary and Regular Extensions with Reiter's Extensions	102
	Representing the Process Semantics in the Event Calculus	118
	Declarative Formalization of Strategies for Action Selection: Applications to Planning	133
	An Algorithmic Approach to Recover Inconsistent Knowledge-Bases	148
	Acceptance Without Minimality	163
	Reduction Theorems for Boolean Formulas Using [Delta]-Trees	179
	Simultaneous Rigid Sorted Unification	193
	Partially Adaptive Code Trees	209
	On Dialogue Systems with Speech Acts, Arguments, and Counterarguments	224
	Credulous and Sceptical Argument Games for Preferred Semantics	239
	A General Approach to Multi-agent Minimal Knowledge	254
	A Modal Logic for Network Topologies	269
	Avoiding Logical Omniscience by Using Subjective Situations	284
	Multi-agent VSK Logic	300
	New Tractable Cases in Default Reasoning from Conditional Knowledge Bases	313
	Monodic Epistemic Predicate Logic	329
	Updates plus Preferences	345
	A Framework for Belief Update	361
	A Compilation of Brewka and Eiter's Approach to Prioritization	376
	A Logic for Modeling Decision Making with Dynamic Preferences	391
	Another Index	407