1151 search results - page 106 / 231 » Collaborative Programming: Applications of Logic and Automat... |
147
Voted
CADE
1992
Springer
15 years 7 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
112
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
149
Voted
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
252
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
128
Voted
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...