3891 search results - page 505 / 779 » A logic for strategic reasoning |
123
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
134
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
147
Voted
AMAI
1999
Springer
15 years 13 days ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
105
Voted
SIGMOD
2004
ACM
16 years 27 days ago
2004
ACM
XML is widely praised for its flexibility in allowing repeated and missing sub-elements. However, this flexibility makes it challenging to develop a bulk algebra, which typically ...
121
click to vote
ICTAI
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...