3546 search results - page 449 / 710 » A Causal Logic of Logic Programming |
141
click to vote
DALT
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
103
click to vote
SP
2000
IEEE
15 years 4 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
122
click to vote
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
CP
2008
Springer
15 years 3 months ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
111
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...