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