3481 search results - page 478 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
161
click to vote
AIPS
2009
15 years 5 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
136
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
180
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Fuzzy logic has been used yet for extending database models to deal with vagueness in the definitions of linguistic concepts as "tall" or "long". However, the ...
134
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
115
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...