|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 131-148, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 27(1), pp. 25-56, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 41-55, 2006, Springer, 3-540-36635-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro |
Constructive Intensional Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 39-54, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023., pp. 324-329, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshops ![In: Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
37 | Daniel Cabeza, Manuel V. Hermenegildo |
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DC/0312031, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
37 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 1(3), pp. 251-282, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Francisco Bueno |
Agent Programming in Ciao Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 1-2, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Germán Puebla, Manuel V. Hermenegildo |
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOID@ICLP ![In: Workshop on Optimization and Implementation of Declarative Programs, WOID 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 2-3, 1999, pp. 163-187, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006, pp. 88-94, 2006, ACM, 1-59593-196-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings, pp. 148-162, 2004, Springer, 3-540-22253-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|