Search results for "declarativity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Simon Brodt, François Bry, Norbert Eisinger	Search for More Declarativity.	RR	2009	DBLP DOI BibTeX RDF
56	Gertjan van Noord, Joke Dorrepaal, Pim van der Eijk, Maria Florenza, Herbert Ruessink, Louis des Tombe	An overview of MiMo2.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	Dutch, unification grammar, computability, symmetry, reversibility, transfer, English, declarativity
39	Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield	Ergo: A Quest for Declarativity in Logic Programming.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
39	Yun Mao	On the declarativity of declarative networking.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
39	Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Armin Wolf	The constraint logic paradigm: declarativity, efficiency and flexibility.	Systems Implementation 2000	1998	DBLP BibTeX RDF
20	Alessandra Mileo, Davide Merico, Roberto Bisiani	A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living.	ICLP	2008	DBLP DOI BibTeX RDF
20	Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits	Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.	ESWC	2006	DBLP DOI BibTeX RDF
20	Daniele Braga, Alessandro Campi, Davide Martinenghi	Efficient Integrity Checking over XML Documents.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
20	Francisco Azevedo	An Attempt to Dynamically Break Symmetries in the Social Golfers Problem.	CSCLP	2006	DBLP DOI BibTeX RDF
20	Marko Junkkari	PSE: An Object-Oriented Representation for Modeling and Managing Part-of Relationships.	J. Intell. Inf. Syst.	2005	DBLP DOI BibTeX RDF	physical assembly, deductive object-oriented databa-ses, formal specification, object-orientation, knowledge representation, query language
20	Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro	A System with Template Answer Set Programs.	JELIA	2004	DBLP DOI BibTeX RDF
20	Georg Ringwelski	Object-Oriented Constraint Programming with J.CP.	MICAI	2002	DBLP DOI BibTeX RDF
20	Anat Eyal, Tova Milo	Integrating and customizing heterogeneous e-commerce applications.	VLDB J.	2001	DBLP DOI BibTeX RDF	Data integration, Electronic commerce, Application integration
20	Hendrik Decker	Soundcheck for SQL.	PADL	2001	DBLP DOI BibTeX RDF
20	Hasan M. Jamil	Mining First-Order Knowledge Bases for Association Rules.	ICTAI	2001	DBLP DOI BibTeX RDF
20	Jan Murray, Oliver Obst, Frieder Stolzenburg	Towards a Logical Approach for Soccer Agents Engineering.	RoboCup	2000	DBLP DOI BibTeX RDF
20	André Bergholz, Johann Christoph Freytag	Querying Semistructured Data Based on Schema Matching.	DBPL	1999	DBLP DOI BibTeX RDF
20	Serenella Cerrito, Marta Cialdea Mayer	Bounded Model Search in Linear Temporal Logic and Its Application to Planning.	TABLEAUX	1998	DBLP DOI BibTeX RDF
20	François Laburthe, Yves Caseau	SALSA: A Language for Search Algorithms.	CP	1998	DBLP DOI BibTeX RDF
20	Éric Monfroy, Christophe Ringeissen	SoleX: A Domain-Independent Scheme for Constraint Solver Extension.	AISC	1998	DBLP DOI BibTeX RDF
20	Norbert Eisinger, Tim Geisler, Sven Panne	Logic Implemented Functionally.	PLILP	1997	DBLP DOI BibTeX RDF	functional programming, disjunctive logic programming, model generation, programming course
20	Rainer Manthey	Declarative Languages - Paradigm of the Past or Challenge of the Future?	East/West Database Workshop	1990	DBLP DOI BibTeX RDF