3053 search results - page 221 / 611 » A Logic of Abstract Argumentation |
163
click to vote
ICON
2007
IEEE
16 years 1 months ago
2007
IEEE
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
188
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
175
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
182
Voted
LPNMR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
139
click to vote
SUM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...