2308 search results - page 291 / 462 » Representing Symbolic Reasoning |
139
click to vote
SGAI
2007
Springer
16 years 17 days ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
147
click to vote
WEBI
2007
Springer
16 years 17 days ago
2007
Springer
The virtual world is comprised of data items related to each other in a variety of contexts. Often such relations can be represented as graphs that evolve over time. Examples incl...
167
click to vote
IEEEARES
2006
IEEE
16 years 15 days ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
163
click to vote
IROS
2006
IEEE
16 years 14 days ago
2006
IEEE
– The success of a landed space exploration mission depends largely on the final landing site. Factors influencing site selection include safety, fuel-consumption, and scientific...
190
click to vote
ADC
2006
Springer
16 years 13 days ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...