Search Sciweavers | Sciweavers

16

IJCAI
1993

135views Artificial Intelligence» more IJCAI 1993»

Representing Concurrent Actions in Extended Logic Programming

13 years 6 months ago

Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...

Chitta Baral, Michael Gelfond

claim paper

Read More »

17

click to vote

ATAL
2006
Springer

149views Intelligent Agents» more ATAL 2006»

Reasoning about action and cooperation

13 years 9 months ago

Download www.csc.liv.ac.uk

We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...

Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...

claim paper

Read More »

24

click to vote

DLOG
2007

225views Automated Reasoning» more DLOG 2007»

Dynamic Description Logic: Embracing Actions into Description Logic

13 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin

claim paper

Read More »

13

click to vote

CORR
2006
Springer

103views Education» more CORR 2006»

ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics

13 years 5 months ago

Download ibis.in.tum.de

Adrian Paschke

claim paper

Read More »

21

click to vote

CLIMA
2011

207views Intelligent Agents» more CLIMA 2011»

A Dynamic Logic of Institutional Actions

12 years 5 months ago

Download www.csc.liv.ac.uk

We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...

Andreas Herzig, Emiliano Lorini, Nicolas Troquard

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers