2067 search results - page 54 / 414 » Logics of propositional control |
122
click to vote
RIDE
1999
IEEE
15 years 5 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
121
click to vote
EACL
1989
ACL Anthology
15 years 2 months ago
1989
ACL Anthology
In this paper a method for controlling the dialog in a natural language (NL) system is presented. It provides a deep modeling of information processing based on time dependent pro...
123
click to vote
CADE
2003
Springer
16 years 1 months ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
119
Voted
PRICAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
117
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...