1941 search results - page 126 / 389 » Reasoning about Computations Using Two-Levels of Logic |
138
Voted
DLOG
2003
15 years 4 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
158
click to vote
LPNMR
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
136
click to vote
DLOG
2010
15 years 1 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
141
click to vote
AI
2007
Springer
15 years 3 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
148
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...