827 search results - page 153 / 166 » Proof-Theoretic Soundness and Completeness |
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
ATAL
2007
Springer
14 years 27 days ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
CIKM
2007
Springer
14 years 27 days ago
2007
Springer
XML query languages typically allow the specification of structural patterns of elements. Finding the occurrences of such patterns in an XML tree is the key operation in XML quer...
EDUTAINMENT
2007
Springer
14 years 27 days ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
ESWS
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...