7961 search results - page 370 / 1593 » Input-Output Model Programs |
149
click to vote
ATAL
1995
Springer
15 years 8 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
162
Voted
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
137
click to vote
AAAI
2004
15 years 6 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
128
Voted
IJCAI
1993
15 years 6 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
126
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...