3634 search results - page 572 / 727 » The Field Representation Language |
166
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
124
click to vote
OTM
2010
Springer
15 years 2 months ago
2010
Springer
Decision making is tightly related to the understanding of the design and manufacturing practices. In our previous work, we proposed an intuitive approach for geometric modeling in...
145
click to vote
SMC
2010
IEEE
15 years 2 months ago
2010
IEEE
—We outline SoftFacts, an ontology mediated top-k information retrieval system over relational databases. An ontology layer is used to define (in terms of a OWL-QL like Semantic...
154
click to vote
SYNTHESE
2010
15 years 2 months ago
2010
This paper presents a novel semantic analysis of unit names (like pound and meter) and gradable adjectives (like tall, short and happy), inspired by measurement theory (Krantz et a...
148
click to vote
TCS
2010
15 years 2 months ago
2010
Horn⊃ is a logic programming language which extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a form of s...