Sciweavers

2752 search results - page 82 / 551
» Rounding to an Integral Program
Sort
View
WFLP
2000
Springer
163views Algorithms» more  WFLP 2000»
15 years 6 months ago
Cooperative Constraint Functional Logic Programming
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
Mircea Marin, Tetsuo Ida
ECOOP
1995
Springer
15 years 6 months ago
Programming as an Experience: The Inspiration for Self
The Self system attempts to integrate intellectual and non-intellectual aspects of programming to create an overall experience. The language semantics, user interface, and implemen...
Randall B. Smith, David Ungar
DALT
2008
Springer
15 years 4 months ago
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
Mehdi Dastani, Koen V. Hindriks, Peter Nová...
RR
2009
Springer
15 years 9 months ago
A Reasoner for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
Stijn Heymans, Cristina Feier, Thomas Eiter
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