4573 search results - page 803 / 915 » Automated Reasoning |
100
click to vote
ICCBR
2009
Springer
15 years 9 months ago
2009
Springer
Maritime assets such as merchant and navy ships, ports, and harbors, are targets of terrorist attacks as evidenced by the USS Cole bombing. Conventional methods of securing maritim...
113
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
129
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
124
click to vote
LPNMR
2009
Springer
15 years 9 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...
104
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...