The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "IJCSLP"( http://dblp.L3S.de/Venues/IJCSLP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/iclp

Publication years (Num. hits)
1998 (33)
Publication types (Num. hits)
inproceedings(33)
Venues (Conferences, Journals, ...)
IJCSLP(33)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 33 publication records. Showing 33 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault Abstract Compilation of lambda-Prolog. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1François Fages, Massimo Paltrinieri A Generic Type System for CLP(chi). Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Michael Leuschel Program Specialisation and Abstract Interpretation Reconciled. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1João Alexandre Leite, Luís Moniz Pereira Iterated Logic Program Updates. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Randy Goebel Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Philippe Devienne, Jean-Marc Talbot, Sophie Tison Co-definite Set Constraints with Membership Expressions. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Antonis C. Kakas, Antonia Michael Applications of Abductive Logic Programming. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Iliano Cervesato Proof-Theoretic Foundation of Compilation in Logic Programming. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes Source-to-source Prolog Program Compression. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Nuno A. Fonseca, Vítor Santos Costa, Inês de Castro Dutra VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang Efficient Implementation of a Linear Logic Programming Language. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Kish Shen, Vítor Santos Costa, Andy King Distance: A New Metric for Controlling Granularity for Parallel Execution. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Grigoris Antoniou, David Billington, Michael J. Maher Normal Forms for Defeasible Logic. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Hélène Collavizza, François Delobel, Michel Rueher Relationships between Partial Consistencies over Continuous Domains. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Alvaro Ruiz-Andino, José J. Ruz Integration of CLP and Stochastic Optimisation Strategies. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Sandro Etalle, Femke van Raamsdonk Beyond Success and Failure. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Nada Lavrac Inductive Logic Programming for Relational Knowledge Discovery. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Philippe Refalo Meta-linear Constraints in Constraint Logic Programming. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Gopal Gupta 0001 Horn Logic Denotations. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Sergio Greco, Carlo Zaniolo Greedy Algorithms in Datalog with Choice and Negation. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky Implementing Randomised Algorithms in Constraint Logic Programming. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Prasad Rao, C. R. Ramakrishnan 0001, I. V. Ramakrishnan On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Neng-Fa Zhou A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck Specialising the Other Way Arond. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Michael Hanus, Frank Steiner Controlling Search in Funtional Logic Programs. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Rachid Echahed, Jean-Christophe Janodet Admissible Graph Rewriting and Narrowing. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Robin Milner The Pi Calculus and Its Applications (Keynote Address). Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Andreas Fordan, Roland H. C. Yap Towards Early Projection in CLP(R). Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Stefaan Decorte, Danny De Schreye Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos On Logically Justified Updates. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli On the Representation and Management of Finite Sets in CLP Languages. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Ken McAloon Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Éric Monfroy A Solver Collaboration in BALI. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
Displaying result #1 - #33 of 33 (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