researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Annals of Mathematics and Artificial Intelligence
Home
Index
Info
Volume
Volume
25
, Issue
3-4
161
--
164
Jürgen Dix
,
Jorge Lobo
.
Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation
165
--
199
Michael Gelfond
,
Alfredo Gabaldon
.
Building a Knowledge Base: An Example
201
--
240
Terrance Swift
.
Tabling for Non-Monotonic Programming
241
--
273
Ilkka Niemelä
.
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
275
--
309
Chris Giannella
,
John S. Schlipf
.
An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs
311
--
337
Francesco Buccafurri
,
Nicola Leone
,
Pasquale Rullo
.
Semantics and Expressiveness of Disjunctive Ordered Logic
339
--
367
Katsumi Inoue
,
Chiaki Sakama
.
Computing Extended Abduction Through Transaction Programs
369
--
389
Vladimir Lifschitz
,
Lappoon R. Tang
,
Hudson Turner
.
Nested Expressions in Logic Programs
391
--
419
Robert A. Kowalski
,
Fariba Sadri
.
From Logic Programming Towards Multi-Agent Systems
Volume
25
, Issue
1-2
1
--
34
Charles L. Ortiz Jr.
.
Introspective and Elaborative Processes in Rational Agents
35
--
67
Mira Balaban
,
Tzachi Rosen
.
STCSP - Structured Temporal Constraint satisfaction Problems
69
--
90
Claudia V. Goldman
,
Dan Gang
,
Jeffrey S. Rosenschein
,
Daniel J. Lehmann
.
NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
91
--
106
Dov Monderer
,
Moshe Tennenholtz
.
Dynamic Non-Bayesian Decision Making in Multi-Agent Systems
107
--
136
Ida G. Sprinkhuizen-Kuyper
,
Egbert J. W. Boers
.
The Local Minima of the Error Surface of the 2-2-1 XOR Network
137
--
160
Rachel Ben-Eliyahu-Zohary
,
Nissim Francez
,
Michael Kaminski
.
Similarity Preservation in Default Logic