The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Modular Logic Programming (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-2015 (10)
Publication types (Num. hits)
article(2) inproceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Found 10 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
48Thomas Eiter, Georg Gottlob, Helmut Veith Generalized Quantifiers in Logic Programs. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Modular Nonmonotonic Logic Programming Revisited. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Modular Logic Programming, Knowledge Representation, Answer Set Programming
15João Moura Pires, Carlos Viegas Damásio Allowing Cyclic Dependencies in Modular Logic Programming. Search on Bibsonomy EPIA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Isambo Karali Modular Logic Programming for Web Data, Inheritance and Agents. Search on Bibsonomy KSEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15Thomas Eiter, Georg Gottlob, Helmut Veith Modular Logic Programming and Generalized Quantifiers. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Isambo Karali, Constantin Halatsis A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
15Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini Modular Logic Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations
15Melvin Fitting Enumeration Operators and Modular Logic Programming. Search on Bibsonomy J. Log. Program. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
15Harald Ganzinger, Michael Hanus Modular Logic Programming of Compilers. Search on Bibsonomy SLP The full citation details ... 1985 DBLP  BibTeX  RDF
13Isambo Karali Logic Programming to Address Issues of the Semantic Web. Search on Bibsonomy Web Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license