1894 search results - page 169 / 379 » Towards Mobile Reasoning |
219
click to vote
LPNMR
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...
181
click to vote
NMR
2004
Springer
16 years 11 days ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
174
Voted
ICDS
2010
IEEE
16 years 10 days ago
2010
IEEE
—Learning ontology from text is a challenge in knowledge engineering research and practice. Learning relations between concepts is even more difficult work. However, when conside...
208
click to vote
FOCS
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper analyzes implementable social choice functions (in dominant strategies) over restricted domains of preferences, the leading example being combinatorial auctions. Our wo...
188
click to vote
IOLTS
2002
IEEE
15 years 12 months ago
2002
IEEE
The reusing of the same hardware resources to implement speed-critical algorithms, without interrupting system operation, is one of the main reasons for the increasing use of reco...