Sciweavers

1581 search results - page 12 / 317
» Domain semantics of possibility computations
Sort
View
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 1 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
FLAIRS
2006
13 years 11 months ago
Representation and Reasoning for Deeper Natural Language Understanding in a Physics Tutoring System
Students' natural language (NL) explanations in the domain of qualitative mechanics lie in-between unrestricted NL and the constrained NL of "proper" domain stateme...
Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan, U...
LREC
2008
89views Education» more  LREC 2008»
13 years 11 months ago
Development and Alignment of a Domain-Specific Ontology for Question Answering
With the appearance of Semantic Web technologies, it becomes possible to develop novel, sophisticated question answering systems, where ontologies are usually used as the core kno...
Shiyan Ou, Viktor Pekar, Constantin Orasan, Christ...
SEMCO
2008
IEEE
14 years 4 months ago
Semantic Agent Programming Language (S-APL): A Middleware Platform for the Semantic Web
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...
Artem Katasonov, Vagan Y. Terziyan
FOSSACS
1998
Springer
14 years 2 months ago
Generalizing Domain Theory
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
Michael W. Mislove