Specifying causality in action theories: A default logic approach

DOI10.1016/S0304-3975(99)00011-0zbMath0954.68135OpenAlexW2017479918MaRDI QIDQ1575839

Yan Zhang

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00011-0

zbMATH Keywords

domain constraints

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Cites Work

• A logic for default reasoning
• Frames in the space of situations
• Alternative approaches to default logic
• Boundary properties of conformal and quasiconformal mappings of polygons
• How to Do Things with Worlds: on Formalizing Actions and Plans
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specifying causality in action theories: A default logic approach