3776 search results - page 342 / 756 » Partition-Based Logical Reasoning |
160
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
162
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
163
click to vote
CADE
1990
Springer
15 years 8 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
137
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
In commercial spoken dialog systems, call flows are built by call flow designers implementing a predefined business logic. While it may appear obvious from this logic how the c...
145
click to vote
ECRA
2002
15 years 4 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...