3776 search results - page 106 / 756 » Partition-Based Logical Reasoning |
111
Voted
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
115
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying many AI uncertainty for...
147
click to vote
ASP
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
234
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
126
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...