Search results for "floundering"

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