Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Annals of Mathematics and Artificial Intelligence

Issue 2-4/1997

Content (12 Articles)

Introduction: Logic programming, non-monotonicreasoning and reasoning about actions

Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz

Relating logic programming theories of actions and partial order planning

Chitta Baral

A continuum of discrete systems

Howard A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Polar Humenn

A procedural semantics for stratified database updates

Weidong Chen, Julie Yu-Chih Liu

Logic programming and software maintenance

Daniel Cooke, Luqi

Fixed point theorems in logic programming

Mohamed A. Khamsi, Driss Misane

Representing and reasoning about concurrent actions with abductive logic programs

Renwei Li, Luís Moniz Pereira

Two components of an action language

Vladimir Lifschitz

An ordering on subgoals for planning

Fangzhen Lin

Representation theory for default logic

V. Wiktor Marek, Jan Treur, Mirosław Truszczyński

Parallel symbolic computation in ACE

Enrico Pontelli, Gopal Gupta

Scheduling in the situation calculus: A case study

Ray Reiter, Zheng Yuhua

Aug 97
Issue: 1/1997
Feb 98
Issue: 1-4/1998

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits