Sciweavers

JELIA
2004
Springer
14 years 5 months ago
Logic Programming Infrastructure for Inferences on FrameNet
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
Peter Baumgartner, Aljoscha Burchardt
JELIA
2004
Springer
14 years 5 months ago
Computing the Least Common Subsumer w.r.t. a Background Terminology
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
JELIA
2004
Springer
14 years 5 months ago
Towards a Logical Analysis of Biochemical Pathways
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
JELIA
2004
Springer
14 years 5 months ago
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Alessandro Armando, Luca Compagna, Yuliya Lierler
JELIA
2004
Springer
14 years 5 months ago
SATMC: A SAT-Based Model Checker for Security Protocols
Alessandro Armando, Luca Compagna
JELIA
2004
Springer
14 years 5 months ago
Two Approaches to Merging Knowledge Bases
We present a framework for expressing different merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revisi...
James P. Delgrande, Torsten Schaub
JELIA
2004
Springer
14 years 5 months ago
Games for Cognitive Agents
Strategic games model the interaction among simultaneous decisions of agents. The starting point of strategic games is a set of players (agents) having strategies (decisions) and p...
Mehdi Dastani, Leendert W. N. van der Torre
JELIA
2004
Springer
14 years 5 months ago
Modelling Communicating Agents in Timed Reasoning Logics
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
Natasha Alechina, Brian Logan, Mark Whitsey