7335 search results - page 1018 / 1467 » Scene Based Reasoning |
195
click to vote
AGTIVE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
192
click to vote
ASP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
162
click to vote
BIRTHDAY
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
191
click to vote
CSL
2003
Springer
16 years 2 days ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
146
click to vote
ECSQARU
2003
Springer
16 years 1 days ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...