The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase ciao-prolog (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2023 (12)
Publication types (Num. hits)
article(3) inproceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 11 keywords

Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
104Daniel Cabeza Gras, Manuel V. Hermenegildo A New Module System for Prolog. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation
45Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández Implementing Constructive Intensional Negation. Search on Bibsonomy New Gener. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
38Rémy Haemmerlé, François Fages Modules for Prolog Revisited. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro Constructive Intensional Negation. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
37Daniela Ferreiro, José F. Morales 0001, Salvador Abreu, Manuel V. Hermenegildo Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. Search on Bibsonomy ICLP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Guillermo García-Pradales, José F. Morales 0001, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro An s(CASP) In-Browser Playground based on Ciao Prolog. Search on Bibsonomy ICLP Workshops The full citation details ... 2022 DBLP  BibTeX  RDF
37Daniel Cabeza, Manuel V. Hermenegildo Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
37Daniel Cabeza Gras, Manuel V. Hermenegildo Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Francisco Bueno Agent Programming in Ciao Prolog. Search on Bibsonomy EPIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Germán Puebla, Manuel V. Hermenegildo Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine The Ecce and Logen partial evaluators and their web interfaces. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction
31Omar El-Khatib, Enrico Pontelli, Tran Cao Son ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license