Sciweavers

1313 search results - page 131 / 263
» Prioritized Reasoning in Logic Programming
Sort
View
CISIS
2009
IEEE
15 years 4 months ago
A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
Oliver Ray, Ken E. Whelan, Ross D. King
ILP
2000
Springer
15 years 1 months ago
Learning First Order Logic Time Series Classifiers
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...
Juan José Rodríguez, Carlos J. Alons...
FUIN
2010
114views more  FUIN 2010»
14 years 7 months ago
A Logic-Based System for e-Tourism
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
Francesco Ricca, Antonella Dimasi, Giovanni Grasso...
DLOG
2003
14 years 11 months ago
From Description Logic Provers to Knowledge Representation Systems
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
Deborah L. McGuinness, Peter F. Patel-Schneider
DLOG
1996
14 years 11 months ago
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
Thorsten Liebig, Dietmar Rösner