1026 search results - page 84 / 206 » A Methodology for Equational Reasoning |
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
There are already a huge number of problems for silicon designers and it is likely to just get worse. Many of these problems are technical associated with shrinking geometries and...
ICDAR
1999
IEEE
14 years 1 months ago
1999
IEEE
We describe the Open Mind Initiative, a framework for large-scale collaborative efforts in building components of "intelligent" systems that address common-sense reasoni...
AAAI
2008
13 years 11 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
ASIAN
2005
Springer
13 years 11 months ago
2005
Springer
This paper proposes a general consistency management methodology within ontology-driven WIS development. The contributions of this paper are follows: 1) introduces the concept stru...