1188 search results - page 77 / 238 » Testing Semantics: Connecting Processes and Process Logics |
135
Voted
IJCAI
1989
15 years 5 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
131
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
126
click to vote
ER
1999
Springer
15 years 8 months ago
1999
Springer
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...
139
click to vote
AAAI
2010
15 years 5 months ago
2010
Ontology matching is the problem of determining correspondences between concepts, properties, and individuals of different heterogeneous ontologies. With this paper we present a n...
120
Voted
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...