4617 search results - page 486 / 924 » Automation of Diagrammatic Reasoning |
213
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
154
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Case-Based Design CBD applies a knowledge-based process to the knowledge commonly associated with Case-Based Reasoning CBR systems the library of exemplars. This paper in...
164
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
The technical problem addressed in this paper is, given two rule systems for consequence relations X and Y, how to construct Y-approximations of a given X-relation. While an upper...
189
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
199
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...