Buscar
Mostrando ítems 1-10 de 2359
Semi-stable semantics
(Oxford Univ PressOxfordInglaterra, 2012)
PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
(Universidad de Tarapacá., 2009)
Modeling issues and implementation of language for disjunctive programming
(Pergamon-Elsevier Science Ltd, 2000-10)
This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid ...
A logic programming framework for possibilistic argumentation: Formalization and logical properties
(Elsevier Science, 2008-05-16)
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing ...
A uniform framework for substructural logics with modalities
(Easy Chair, 2017-05-04)
It is well known that context dependent logical rules can be problematic both to implement and
reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical
systems. In this work we ...
Inductive logic programming applied for knowledge representation in computer music
(Universidade Federal de São CarlosUFSCarCâmpus São CarlosDepartamento de Computação - DC, 2021-07-15)
In Computer Music, the knowledge representation process is an essential element for the development of systems. Methods have been applied to provide the computer with the ability to generate conclusions based on previously ...