Sciweavers

6740 search results - page 272 / 1348
» Using Classification as a Programming Language
Sort
View
ICLP
2007
Springer
15 years 8 months ago
Generic Tableaux for Answer Set Programming
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
Martin Gebser, Torsten Schaub
PADL
2001
Springer
15 years 7 months ago
Interoperability between Bioinformatics Tools: A Logic Programming Approach
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontel...
143
Voted
IJAR
2007
96views more  IJAR 2007»
15 years 2 months ago
A paraconsistent logic programming approach for querying inconsistent databases
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
Sandra de Amo, Mônica Sakuray Pais
106
Voted
JLP
2000
109views more  JLP 2000»
15 years 2 months ago
Demand Transformation Analysis for Concurrent Constraint Programs
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
Moreno Falaschi, Patrick Hicks, William H. Winsbor...
CORR
2006
Springer
84views Education» more  CORR 2006»
15 years 2 months ago
The JRC-Acquis: A multilingual aligned parallel corpus with 20+ languages
We present a new, unique and freely available parallel corpus containing European Union (EU) documents of mostly legal nature. It is available in all 20 official EU languages, wit...
Ralf Steinberger, Bruno Pouliquen, Anna Widiger, C...