4573 search results - page 868 / 915 » Automated Reasoning |
103
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
CORR
2012
Springer
13 years 7 months ago
2012
Springer
position paper. Historically two types of NLP have been investigated: fully automated processing of language by machines (NLP) and autonomous processing of natural language by peop...
WWW
2004
ACM
16 years 15 days ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
119
click to vote
WOLLIC
2009
Springer
15 years 6 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
SIGMOD
2004
ACM
15 years 12 months ago
2004
ACM
Today, the travel information services are dominantly provided by Global Distribution Systems (GDS). The Global Distribution Systems provide access to real time availability and p...