Sciweavers

LOPSTR
2001
Springer
14 years 4 months ago
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
José Júlio Alferes, Antonio Brogi, J...
LACL
2001
Springer
14 years 4 months ago
On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
Geoffrey K. Pullum, Barbara C. Scholz
LACL
2001
Springer
14 years 4 months ago
Combinators for Paraconsistent Attitudes
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
Jørgen Villadsen
LACL
2001
Springer
14 years 4 months ago
Lambek Grammars Based on Pregroups
Lambek [13] introduces pregroups as a new framework for syntactic structure. In this paper we prove some new theorems on pregroups and study grammars based on the calculus of free...
Wojciech Buszkowski
LACL
2001
Springer
14 years 4 months ago
An Algebraic Approach to French Sentence Structure
Daniele Bargelli, Joachim Lambek
LACL
2001
Springer
14 years 4 months ago
Structural Equations in Language Learning
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
Michael Moortgat
ILP
2001
Springer
14 years 4 months ago
Learning Functions from Imperfect Positive Data
The Bayesian framework of learning from positive noise-free examples derived by Muggleton [12] is extended to learning functional hypotheses from positive examples containing norma...
Filip Zelezný
ILP
2001
Springer
14 years 4 months ago
Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition
Rene Quiniou, Marie-Odile Cordier, Guy Carrault, F...
ILP
2001
Springer
14 years 4 months ago
Induction of Stable Models
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
Ramón P. Otero