Sciweavers

4382 search results - page 499 / 877
» Query by Semantic Example
Sort
View
ECAI
2010
Springer
15 years 5 months ago
ProbLog Technology for Inference in a Probabilistic First Order Logic
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...
Maurice Bruynooghe, Theofrastos Mantadelis, Angeli...
129
Voted
GI
2008
Springer
15 years 5 months ago
Semi-Automatic Ontology Engineering in Business Applications
: Search technology can be applied to many applications and is in the heart of always growing information society. A promising new development is the use of ontologies to enable se...
Felix Burkhardt, Jon Atle Gulla, Jin Liu, Christia...
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 4 months ago
A Logical Temporal Relational Data Model
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
Nadeem Mahmood, Aqil Burney, Kamran Ahsan
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 11 months ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...
BIS
2011
289views Business» more  BIS 2011»
14 years 4 months ago
Advanced Resource Selection for Federated Enterprise Search
Distributed information retrieval is a well-known approach for accessing heterogeneous, highly autonomous sources of unstructured information. Selecting and querying only a number ...
Matthias Wauer, Daniel Schuster, Alexander Schill