Sciweavers

3005 search results - page 47 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
100
Voted
IV
2010
IEEE
166views Visualization» more  IV 2010»
14 years 9 months ago
From Databases to Graph Visualization
The first step of any information visualization system is to enable end user to import their dataset into the system. However, non expert user are faced to the difficult task of ch...
Frédéric Gilbert, David Auber
AAAI
2011
13 years 12 months ago
Markov Logic Sets: Towards Lifted Information Retrieval Using PageRank and Label Propagation
Inspired by “GoogleTM Sets” and Bayesian sets, we consider the problem of retrieving complex objects and relations among them, i.e., ground atoms from a logical concept, given...
Marion Neumann, Babak Ahmadi, Kristian Kersting
WLP
2007
Springer
15 years 6 months ago
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
Martin Gebser, Jörg Pührer, Torsten Scha...
ECAI
2000
Springer
15 years 4 months ago
Logic Programs with Compiled Preferences
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
James P. Delgrande, Torsten Schaub, Hans Tompits
IJCAI
2007
15 years 1 months ago
Coalitions in Action Logic
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents’ actions. To these days, the connection between coalition power and...
Stefano Borgo