|
|
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 |
104 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
A New Module System for Prolog. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation |
45 | Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández |
Implementing Constructive Intensional Negation. |
New Gener. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation |
38 | Rémy Haemmerlé, François Fages |
Modules for Prolog Revisited. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro |
Constructive Intensional Negation. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation |
37 | Daniela 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. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Guillermo 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. |
ICLP Workshops |
2022 |
DBLP BibTeX RDF |
|
37 | Daniel Cabeza, Manuel V. Hermenegildo |
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library |
CoRR |
2003 |
DBLP BibTeX RDF |
|
37 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. |
Theory Pract. Log. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Francisco Bueno |
Agent Programming in Ciao Prolog. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Germán Puebla, Manuel V. Hermenegildo |
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. |
WOID@ICLP |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine |
The Ecce and Logen partial evaluators and their web interfaces. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction |
31 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|