The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1992 (59) 1996 (56) 1998 (1)
Publication types (Num. hits)
inproceedings(113) proceedings(3)
Venues (Conferences, Journals, ...)
JICSLP(116)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 116 publication records. Showing 116 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Joxan Jaffar (eds.) Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998 Search on Bibsonomy JICSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Anthony J. Bonner, Michael Kifer Concurrency and Communication in Transaction Logic. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Andreas Fordan, Ulrich Geske, Alexander Nareyek Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Anthony J. Kusalik, Steven D. Prestwich Visualizing Parallel Logic Program Execution for Performance Tuning. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Chandrabose Aravindan, Peter Baumgartner 0001, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Moreno Falaschi, Patrick Hicks, William H. Winsborough Demand Transformation Analysis for Concurrent Constraint Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift, David Scott Warren An Abstract Machine for Computing the Well-Founded Semantics. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Dobrohoczki, Anthony J. Kusalik, Eric Neufeld Colour Tagging for Prolog Visualization (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Olivier Ridoux Engineering Transformations of Attributed Grammars in LambdaProlog. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Enrico Pontelli, Gopal Gupta 0001 Dependent And-Parallelism Revisited (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning Unification via Explicit Substitutions: The Case of Higher-Order Patterns. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Prasad Rao, C. R. Ramakrishnan 0001, I. V. Ramakrishnan A Thread in Time Saves Tabling Time. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Kish Shen Initial Results of the Parallel Implementation of DASWAM. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Stefan Lüttringhaus-Kappel, Dirk Schulz 0001 Applications of Efficient Lazy Set Expression (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Lee Naish A Declarative View of Modes. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, José de Siqueira A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Matteo Baldoni, Laura Giordano 0001, Alberto Martelli A Framework for a Modal Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Gilberto Filé, Francesco Ranzato Complementation of Abstract Domains made Easy. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert Boosting the Interval Narrowing Algorithm. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Rolf Schwitter, Norbert E. Fuchs Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Kenta Cho 0003, Kazunori Ueda Diagnosing Non-Well-Moded Concurrent Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1M. R. K. Krishna Rao Completeness Results for Basic Narrowing in Non-Copying Implementations. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Jampel, Jean-Marie Jacquet, David R. Gilbert A General Framework for Integrating HCLP and PCSP (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco Asserting Lemmas in the Stable Model Semantics. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli A Linear Logic Calculus Objects. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Frédéric Mesnard Inferring Left-terminating Classes of Queries for Constraint Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Sophie Renault How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Thomas H. Kolbe Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Liem Ngo Probabilistic Disjunctive Deductive Databases (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Juliana Freire, Terrance Swift, David Scott Warren Logic Programming and Databases Integrated at Last? (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Sandro Etalle, Frank Teusink A Compositional Semantics for Normal Open Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Neng-Fa Zhou A Novel Implementation Method of Delay. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Leuschel, Danny De Schreye, D. Andre de Waal A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Hendrik Decker An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Andreas Hamfelt, Jørgen Fischer Nilsson Declarative Logic Programming with Primitive Recursive Relations on Lists. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael J. Maher (eds.) Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996 Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Ulrich Neumerkel Interprocedural Register Allocation for the WAM based on Source to Source Transformations. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Ulrich Zukowski, Burkhard Freitag Adding Flexibility to Query Evaluation for Modularly Stratified Databases. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Jichang Tan, I-Peng Lin Type Synthesis for Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Gerhard Wetzel, Robert A. Kowalski, Francesca Toni PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue Representing Priorities in Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Naoyuki Tamura, Yukio Kaneda Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Sven-Erik Bornscheuer Generating Rational Models (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Jean-Francois Puget Constraint Programming (Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Yves Caseau, François Laburthe Cumulative Scheduling with Task Intervals. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Ulrich Neumerkel GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Philippe Refalo, Pascal Van Hentenryck CLP(Rlin) Revised. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Shekhar Pradhan Logic Programs with Contested Information. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Mireille Ducassé, Jacques Noyé Tracing Prolog without a Tracer (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Wolfram Burgard, Armin B. Cremers, Dieter Fox, Angelica Maria Kappel, Stefan Lüttringhaus-Kappel Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Thielscher A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1François Bry A Compositional Semantics for Logic Programs and Deductive Databases. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1H. Lewis Chau Specification of Complex Systems with Definite Clause Grammar (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Ilkka Niemelä, Patrik Simons Efficient Implementation of the Well-founded and Stable Model Semantics. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap Effectiveness of Optimizing Compilation for CLP(R). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Pawel Cholewinski, Miroslaw Truszczynski Extremal Problems in Logic Programming and Stable Model Computation. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Judea Pearl Empirical Semantics for Defeasible Databases. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Hélène Kirchner, Christophe Ringeissen A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Baudouin Le Charlier, Pascal Van Hentenryck Reexecution in Abstract Interpretation of Prolog. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Laura Giordano 0001, Nicola Olivetti Negation as Failure in Intuitionistic Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Weidong Chen 0005, David Scott Warren A Goal-Oriented Approach to Computing Well Founded Semantics. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Ken Satoh, Noboru Iwayama A Query Evaluation Method for Abductive Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1François Bronsard, T. K. Lakshman, Uday S. Reddy A Framework of Directionality for Proving Termination of Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Gert Smolka, Ralf Treinen Records for Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel The Stable Models of a Predicate Logic Program. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo Implementing a Lazy Functional Logic Language with Disequality Constraints. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Ta Chen, I. V. Ramakrishnan, R. Ramesh 0001 Multistage Indexing Algorithms for Speeding Prolog Execution. (final version: SP&E 24(12): 1097-1119 (1994)) Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Krzysztof R. Apt (eds.) Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992 Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira On Logic Program Semantics with Two Kinds of Negation. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1James Harland On Normal Forms and Equivalence for Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher Equational Logic Programming Actions, and Change. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1R. Sundararajan, A. V. S. Sastry, Evan Tick Variable Threadedness Analysis for Concurrent Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Bruno Dumant hecking the Soundness of Resolution Schemes. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Piero A. Bonatti Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. (long version: JLP 22(2): 91-149 (1995)) Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Fangqing Dong, Laks V. S. Lakshmanan Deductive Databases with Incomplete Information. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Michael Hanus On the Completeness of Residuation. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Geraint A. Wiggins Synthesis and Transformation of Logic Programs in the Whelk Proof Development System. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Marc Denecker, Danny De Schreye SLDNFA: An Abductive Procedure for Normal Abductive Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1David Gudeman, Koenraad De Bosschere, Saumya K. Debray jc: An Efficient and Portable Sequential Implementation of Janus. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1K. Mani Chandy, Carl Kesselman The Derivation of Compositional Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Livio Colussi, Elena Marchiori A Predicate Transformer for Unification. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Michele Bugliesi A Declarative View of Inheritance in Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Melvin Fitting Many-Valued Semantics for Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Salvador Abreu, Luís Moniz Pereira, Philippe Codognet Improving Backward Execution in the Andorra Family of Languages. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Gérard Ferrand, Pierre Deransart Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1David B. Kemp, Peter J. Stuckey, Divesh Srivastava Query Restricted Bottom-Up Evaluation of Normal Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Taisuke Sato Meta-Programming through a Truth Predicate. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Nevin Heintze Practical Aspects of Set Based Analysis. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Frank S. de Boer, Catuscia Palamidessi A Process Algebra of Concurrent Constraint Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Joshua S. Hodas Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1William J. Older, John A. Rummell An Incremental Garbage Collector for WAM-Based Prolog. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Jean-Marie Jacquet, Luís Monteiro Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Juergen Haas, Bharat Jayaraman Interactive Synthesis of Definite-Clause Grammars. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Serenella Cerrito Herbrand Methods in Sequent Calculi: Unification in LL. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Ross A. Overbeek Logic Programming and Genetic Sequence Analysis: a Tutorial. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Zhenyu Qian, Kang Wang Higher-Order E-Unification for Arbitrary Theories. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz Representing Actions in Extended Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1A. S. Troelstra Tutorial on Linear Logic. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Raghu Ramakrishnan 0001, Divesh Srivastava, S. Sudarshan 0001 Controlling the Search in Bottom-Up Evaluation. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 116 (100 per page; Change: )
Pages: [1][2][>>]
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