The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for floundering with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-1994 (15) 1995-2012 (15) 2014 (1)
Publication types (Num. hits)
article(7) inproceedings(24)
Venues (Conferences, Journals, ...)
PLILP(3) CoRR(2) ICLP(2) LPNMR(2) PODS(2) ACM Trans. Program. Lang. Syst...(1) ACSC(1) ALP(1) ECOOP(1) EDBT(1) FSTTCS(1) ICALT(1) ICDT(1) ILPS(1) Int. J. Found. Comput. Sci.(1) J. ACM(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 18 keywords

Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
152Jean-Hugues Réty The Notion of Floundering for SLDNF-Resolution Revisited Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
72Roberto Barbuti, Maurizio Martelli A Tool to Check the Non-Floundering Logic Programs and Goals. Search on Bibsonomy PLILP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
36Lee Naish Resource-Oriented Deadlock Analysis. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF deadlock analysis, committed choice nondeterminism, floundering, Concurrency, partial order, dining philosophers, coroutining
33Lee Naish Transforming floundering into success. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
33Lee Naish Transforming floundering into success Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
33Lee Naish Declarative Diagnosis of Floundering in Prolog. Search on Bibsonomy ACSC The full citation details ... 2012 DBLP  BibTeX  RDF
33Lee Naish Declarative Diagnosis of Floundering Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
33Susumu Yamasaki, Yoshinori Kurose A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Wlodzimierz Drabent Completeness of SLDNF-Resolution for Non-Floundering Queries. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
33Wlodzimierz Drabent SLS-Resolution without Floundering. Search on Bibsonomy LPNMR The full citation details ... 1993 DBLP  BibTeX  RDF
33Roberto Barbuti, Maurizio Martelli Recognizing Non-Floundering Logic Programs and Goals. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
33Kim Marriott, Harald Søndergaard, Philip W. Dart A Characterization of Non-Floundering Logic Programs. Search on Bibsonomy NACLP The full citation details ... 1990 DBLP  BibTeX  RDF
33Hendrik Decker The Range Form of Databases and Queries or: How to Avoid Floundering. Search on Bibsonomy ÖGAI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
20Sotiris B. Kotsiantis, Panayiotis E. Pintelas Predicting Students' Marks in Hellenic Open University. Search on Bibsonomy ICALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Wlodzimierz Drabent, Miroslawa Milkowska Proving Correctness and Completeness of Normal Programs - A Declarative Approach. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal A Partial Evaluation Framework for Curry Programs. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear Tabulated Resolutions for the Well-Founded Semantics. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Jan-Georg Smaus, Patricia M. Hill, Andy King Termination of Logic Programs with block Declarations Running in Several Modes. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Véronique Benzaken, Xavier Schaefer Static Management of Integrity in Object-Oriented Databases: Design and Implementation. Search on Bibsonomy EDBT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Colin Potts Requirements Models in Context. Search on Bibsonomy RE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF formal specification, requirements engineering, abstraction, synthesis, requirements models
20Véronique Benzaken, Xavier Schaefer Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. Search on Bibsonomy ECOOP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Weidong Chen 0005, David Scott Warren Tabled Evaluation With Delaying for General Logic Programs. Search on Bibsonomy J. ACM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF tabled evaluation, program transformations, stable models, well-founded models
20Krzysztof R. Apt, Alessandro Pellegrini 0002 On the Occur-Check-Free Prolog Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm
20Weidong Chen 0005, David Scott Warren Query Evaluation under the Well Founded Semantics. Search on Bibsonomy PODS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
20Peter J. Stuckey, S. Sudarshan 0001 Well-Founded Ordered Search (Extended Abstract). Search on Bibsonomy FSTTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
20Fosca Giannotti, Manuel V. Hermenegildo A Technique for Recursive Invariance Detection and Selective Program Specification. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
20Kanchana Kanchanasut, Peter J. Stuckey Eliminating Negation from Normal Logic Programs. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
20Nicole Bidoit, P. Legay WELL!: An Evaluation Procedure for All Logic Programs. Search on Bibsonomy ICDT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
20Roland N. Bol Loop Checking and Negation. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
20Kenneth A. Ross A Procedural Semantics for Well Founded Negation in Logic Programs. Search on Bibsonomy PODS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
20R. Glass Software maintenance documentation. Search on Bibsonomy SIGDOC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #31 of 31 (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