Sciweavers

15754 search results - page 52 / 3151
» Programs are Knowledge Bases
Sort
View
ML
2006
ACM
131views Machine Learning» more  ML 2006»
15 years 2 months ago
Markov logic networks
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
Matthew Richardson, Pedro Domingos
DEXA
2001
Springer
92views Database» more  DEXA 2001»
15 years 7 months ago
Knowledge Base Maintenance through Knowledge Representation
The problem of maintaining a knowledge base is substantially concerned with keeping track of rules that share common wisdom. A knowledge representation is described in which a coll...
John K. Debenham
SIGMOD
2010
ACM
249views Database» more  SIGMOD 2010»
15 years 7 months ago
Active knowledge: dynamically enriching RDF knowledge bases by web services
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
Nicoleta Preda, Gjergji Kasneci, Fabian M. Suchane...
151
Voted
FMOODS
2008
15 years 4 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
137
Voted
RML
2002
140views Business» more  RML 2002»
15 years 2 months ago
UML as knowledge acquisition frontend for Semantic Web configuration knowledge bases
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
Alexander Felfernig, Gerhard Friedrich, Dietmar Ja...