740 search results - page 97 / 148 » Open Answer Set Programming with Guarded Programs |
225
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
139
click to vote
ISMAR
2003
IEEE
15 years 9 months ago
2003
IEEE
Current Augmented Reality (AR) applications require that the application software be written to support a specific AR interface set up. WireAR was developed to enable output from...
152
Voted
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
146
click to vote
AAAI
1996
15 years 5 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
153
click to vote
CACM
2008
15 years 4 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...