421 search results - page 54 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
TPHOL
2003
IEEE
15 years 4 months ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
JSS
2006
14 years 11 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
SERP
2007
15 years 15 days ago
2007
Architecture and design patterns, as demonstrated solutions to recurring problems, have proved practically important and useful in the process of software development. They have b...
201
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
87
Voted
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...