1941 search results - page 101 / 389 » Reasoning about Computations Using Two-Levels of Logic |
142
click to vote
KI
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
134
click to vote
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
124
click to vote
KSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
134
click to vote
AAAI
2007
15 years 5 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
110
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...