4573 search results - page 717 / 915 » Automated Reasoning |
175
click to vote
RR
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
118
Voted
APSEC
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
145
click to vote
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
142
Voted
OWLED
2008
15 years 5 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
111
Voted
NAACL
2003
15 years 5 months ago
2003
Recent TREC results have demonstrated the need for deeper text understanding methods. This paper introduces the idea of automated reasoning applied to question answering and shows...