Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Rolf Wiehagen, Carl H. Smith, Thomas Zeugmann	Classifying Recursive Predicates and Languages.	GOSLER Final Report	1995	DBLP DOI BibTeX RDF
14	François Fages	Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages	Constraint Programming	1994	DBLP DOI BibTeX RDF
14	Michael Sheard	A Guide to Truth Predicates in the Modern Era.	J. Symb. Log.	1994	DBLP DOI BibTeX RDF
14	Saharon Shelah, Joel Spencer	Random Sparse Unary Predicates.	Random Struct. Algorithms	1994	DBLP DOI BibTeX RDF
14	Mehmet A. Orgun, William W. Wadge	Extending Temporal Logic Programming with Choice Predicates Non-Determinism.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
14	Sang-Koo Seo, Yoon-Joon Lee	Optimal evaluation of path predicates in object-oriented queries.	Microprocess. Microprogramming	1994	DBLP DOI BibTeX RDF
14	Henning Christiansen 0001	On Proof Predicates in Logic Programming.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
14	S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone	Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law.	ICLP Workshop: Legal Application of Logic Programming	1994	DBLP BibTeX RDF
14	Henning Christiansen 0001	Efficient and Complete Demo Predicates for Definite Clause Languages.	ICLP	1994	DBLP BibTeX RDF
14	Theodore S. Norvell	Machine Code Programs are Predicates Too.	Refine	1994	DBLP DOI BibTeX RDF
14	Konstantin N. Ignatiev	On Strong Provability Predicates and the Associated Modal Logics.	J. Symb. Log.	1993	DBLP DOI BibTeX RDF
14	Ratnesh Kumar 0001, Vijay K. Garg, Steven I. Marcus	Predicates and predicate transformers for supervisory control of discrete event dynamical systems.	IEEE Trans. Autom. Control.	1993	DBLP DOI BibTeX RDF
14	Feng Gao 0002, Leonidas J. Guibas, David G. Kirkpatrick, William T. Laaser, James B. Saxe	Finding Extrema with Unary Predicates.	Algorithmica	1993	DBLP DOI BibTeX RDF
14	Reinhold Heckmann	Power Domains and Second-Order Predicates.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
14	H. Justin Coven	Altering and Applying Predicates.	Comput. Lang.	1993	DBLP DOI BibTeX RDF
14	Mauricio Ayala-Rincón	Expressiveness of conditional equational systems with built-in predicates.		1993	RDF
14	Claudio Hermida	Fibrations, logical predicates and indeterminates.		1993	RDF
14	Dominique Laurent 0001, Viet Phan Luong, Nicolas Spyratos	Updating Intensional Predicates in Deductive Databases.	ICDE	1993	DBLP DOI BibTeX RDF
14	François Fages	On the Semantics of Optimization Predicates in CLP languages.	PPCP	1993	DBLP BibTeX RDF
14	Egon Börger, Dean Rosenzweig	The Mathematics of Set Predicates in Prolog.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
14	Peter R. Ritson, Terry A. Halpin	Mapping One-to-One Predicates to a Relational Schema.	Australian Database Conference	1993	DBLP BibTeX RDF
14	Marcello M. Bonsangue, Joost N. Kok	Isomorphisms between Predicates and State Transformers.	MFCS	1993	DBLP DOI BibTeX RDF
14	Michel Hurfin, Noël Plouzeau, Michel Raynal	Detecting Atomic Sequences of Predicates in Distributed Computations.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
14	Alexander I. Tomlinson, Vijay K. Garg	Detecting Relational Global Predicates in Distributed Systems.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
14	Mark Crovella, Thomas J. LeBlanc	Performance Debugging using Parallel Performance Predicates.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
14	Rolf Wiehagen, Carl H. Smith, Thomas Zeugmann	Classification of predicates and languages.	EuroCOLT	1993	DBLP BibTeX RDF
14	Carlos Escalante	A simple model of prolog's performance: extensional predicates.	CASCON	1993	DBLP BibTeX RDF
14	Juan José Moreno-Navarro, Mario Rodríguez-Artalejo	Logic Programming with Functions and Predicates: The Language BABEL.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
14	Marco Cadoli, Thomas Eiter, Georg Gottlob	An Efficient Method for Eliminating Varying Predicates from a Circumscription.	Artif. Intell.	1992	DBLP DOI BibTeX RDF
14	Louiqa Raschid, Stanley Y. W. Su	A Parallel Pipelined Strategy for Evaluationg Linear Recursive Predicates in a Multiprocessor Environment.	J. Parallel Distributed Comput.	1992	DBLP DOI BibTeX RDF
14	Witold Litwin, Tore Risch	Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF
14	Paolo Atzeni, Riccardo Torlone	Updating intensional predicates in Datalog.	Data Knowl. Eng.	1992	DBLP DOI BibTeX RDF
14	Xian-He Sun, Nabil Kamel	Preprocessing predicates and queries.	Inf. Syst.	1992	DBLP DOI BibTeX RDF
14	Larry Wos	The Problem of Choosing between Using and Avoiding Eqyality Predicates.	J. Autom. Reason.	1992	DBLP DOI BibTeX RDF
14	Ching-Tsun Chou	A Sequent Formulation of a Logic of Predicates in HOL.	TPHOLs	1992	DBLP BibTeX RDF
14	Kazuo Iwama, Hidetoshi Abeta, Eiji Miyano	Random Generation of Satisfiable and Unsatisfiable CNF Predicates.	IFIP Congress (1)	1992	DBLP BibTeX RDF
14	Surajit Chaudhuri	Finding Nonrecursive Envelopes for Datalog Predicates.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
14	Dekang Lin	A Probabilistic Network of Predicates.	UAI	1992	DBLP BibTeX RDF
14	Yoshifumi Manabe, Shigemi Aoyagi	Debugging Dynamic Distributed Programs Using Global Predicates.	SPDP	1992	DBLP DOI BibTeX RDF
14	C. A. R. Hoare	Programs are Predicates.	FGCS	1992	DBLP BibTeX RDF
14	John P. Gallagher, D. Andre de Waal	Deletion of Redundant Unary Type Predicates from Logic Programs.	LOPSTR	1992	DBLP DOI BibTeX RDF
14	Andrzej Blikle	Three-valued predicates for software specification and validation.	Fundam. Informaticae	1991	DBLP BibTeX RDF
14	Joseph Y. Halpern	Presburger Arithmetic with Unarr Predicates is Pi11 Complete.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
14	Gerd Wagner 0001	Logic Programming with Strong Negation and Inexact Predicates.	J. Log. Comput.	1991	DBLP DOI BibTeX RDF
14	Péter Szeredi	Using Dynamic Predicates in an Or--Parallel Prolog System.	ISLP	1991	DBLP BibTeX RDF
14	Tadashi Kawamura	Derivation of Efficient Logic Programs by Synthesizing New Predicates.	ISLP	1991	DBLP BibTeX RDF
14	Christoph Darxler	Accessing Relational and NF2 Databases Through Database Set Predicates.	ALPUK	1991	DBLP BibTeX RDF
14	Ciaran McHale, Bridget Walsh, Seán Baker, Alexis A. Donnelly	Scheduling Predicates.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
14	Kathryn E. Sanders	Representing and Reasoning About Open-Textured Predicates.	ICAIL	1991	DBLP DOI BibTeX RDF
14	Keith Marzullo, Gil Neiger	Detection of Global State Predicates.	WDAG	1991	DBLP DOI BibTeX RDF
14	Sumit Ganguly, Sergio Greco, Carlo Zaniolo	Minimum and Maximum Predicates in Logic Programming.	PODS	1991	DBLP DOI BibTeX RDF
14	Makoto Tatsuta	Monotone Recursive Definition of Predicates and Its Realizability Interpretation.	TACS	1991	DBLP DOI BibTeX RDF
14	Giuseppe Attardi, Mauro Gaspari, Pietro Iglio	Effiecient Compilation of First Order Predicates.	AI*IA	1991	DBLP DOI BibTeX RDF
14	Didier Dubois, Jérôme Lang, Henri Prade	Handling Uncertainty, Context, Vague Predicates, and Partial Inconsistency in Possibilistic Logic.	Fuzzy Logic and Fuzzy Control	1991	DBLP DOI BibTeX RDF
14	Robert Cooper, Keith Marzullo	Consistent Detection of Global Predicates.	Workshop on Parallel and Distributed Debugging	1991	DBLP DOI BibTeX RDF
14	Dusko Pavlovic	Constructions and Predicates.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
14	Egon Börger	A Logical Operational Semantics of Full Prolog Part II: Built-in Predicates for Database Manipulations	IWBS Report	1990	RDF
14	Egon Börger	A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output	IWBS Report	1990	RDF
14	H. Katsuno	Closed World Assumptions Having Precedence in Predicates.	New Gener. Comput.	1990	DBLP DOI BibTeX RDF
14	Toshiyasu Arai	Derivability Conditions on Rosser's Provability Predicates.	Notre Dame J. Formal Log.	1990	DBLP DOI BibTeX RDF
14	Michael Gilpin, Robert Shelton	Predicates whose maximal length functions increase periodically.	Discret. Math.	1990	DBLP DOI BibTeX RDF
14	Maria Teresa Pazienza, Roberto Basili 0001	A Natural Language Interface to Expert Systems Based on Logic Predicates.	Modelling the Innovation	1990	DBLP BibTeX RDF
14	Egon Börger	A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation.	MFCS	1990	DBLP DOI BibTeX RDF
14	Stanley Letovsky	Operationality Criteria for Recursive Predicates.	AAAI	1990	DBLP BibTeX RDF
14	Detlef Fehrer	A Resolution Calculus for a Logic Based on Vaguely Defined Predicates.	ECAI	1990	DBLP BibTeX RDF
14	Atsushi Atarashi, Akihiko Konagaya, Shinichi Habata, Minoru Yokota	Implementation and Evaluation of Dynamic Predicates on the Sequential Inference Machine CHI.	ICCL	1990	DBLP DOI BibTeX RDF
14	Graem A. Ringwood	Predicates and pixels.	New Gener. Comput.	1989	DBLP DOI BibTeX RDF
14	Johan de Kleer, Kurt Konolige	Eliminating the Fixed Predicates from a Circumscription.	Artif. Intell.	1989	DBLP DOI BibTeX RDF
14	Mahadevan Ganapathi	Semantic Predicates in Parser Generators.	Comput. Lang.	1989	DBLP DOI BibTeX RDF
14	Brent Mundy	Elementary categorial logic, predicates of variable degree, and theory of quantity.	J. Philos. Log.	1989	DBLP DOI BibTeX RDF
14	Edwina L. Rissland, David B. Skalak	Interpreting Statutory Predicates.	ICAIL	1989	DBLP DOI BibTeX RDF
14	Job Zwiers, Willem P. de Roever	Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency.	PODC	1989	DBLP DOI BibTeX RDF
14	James H. Andrews	Predicates as Parameters in Logic Programming, A Set-Theoretic Basis.	ELP	1989	DBLP DOI BibTeX RDF
14	Roy A. Sorensen	Precisification by means of vague predicates.	Notre Dame J. Formal Log.	1988	DBLP DOI BibTeX RDF
14	Joachim W. Schmidt	First order predicates in a strongly typed database programming language: the DBPL experience.	BDA	1988	DBLP BibTeX RDF
14	Rene Quiniou, Laurent Trilling	Collective Predicates: Expressing Control of OR-Parallelism in Prolog.	AIMSA	1988	DBLP BibTeX RDF
14	Stephen H. Muggleton	A Strategy for Constructing New Predicates in First-Order Logic.	EWSL	1988	DBLP BibTeX RDF
14	Stephen H. Muggleton, Wray L. Buntine	Machine Invention of First Order Predicates by Inverting Resolution.	ML	1988	DBLP BibTeX RDF
14	Nissim Francez, Shmuel Katz	Fairness and the axioms of control predicates.	Int. J. Parallel Program.	1987	DBLP DOI BibTeX RDF
14	Vladimir A. Smirnov	Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.	Stud Logica	1987	DBLP DOI BibTeX RDF
14	M. Deutsch	Spectral Representation of Recursively Enumerable and Coenumerable Predicates.	Computation Theory and Logic	1987	DBLP DOI BibTeX RDF
14	Ermanno Bencivenga, Karel Lambert	A free logic with simple and complex predicates.	Notre Dame J. Formal Log.	1986	DBLP DOI BibTeX RDF
14	R. R. Patel, R. B. Hunter	Implementing ALGOL 68 Predicates.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
14	Dietlinde Lau	On Subalgebras of an Algebra of Predicates.	J. Inf. Process. Cybern.	1985	DBLP BibTeX RDF
14	Raymond Turner	Three theories of nominalized predicates.	Stud Logica	1985	DBLP DOI BibTeX RDF
14	Lee Naish	All Solutions Predicates in Prolog.	SLP	1985	DBLP BibTeX RDF
14	Lee J. White, P. N. Sahay	Experiments Determining Best Paths for Testing Computer Program Predicates.	ICSE	1985	DBLP BibTeX RDF
14	Ahmad Almukdad, David Nelson	Constructible Falsity and Inexact Predicates.	J. Symb. Log.	1984	DBLP DOI BibTeX RDF
14	Jacques Vautherin, Gérard Memmi	Computation of flows for unary-predicates/transition-nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
14	C. A. R. Hoare, A. W. Roscoe 0001	Programs as Executable Predicates.	FGCS	1984	DBLP BibTeX RDF
14	John W. Sutherland	Normative predicates of next-generation management support systems.	IEEE Trans. Syst. Man Cybern.	1983	DBLP DOI BibTeX RDF
14	Michael Katz	Real-Valued Models with Metric Equality and Uniformly Continuous Predicates.	J. Symb. Log.	1982	DBLP DOI BibTeX RDF
14	Hans Kleine Büning	Some undecidable theories with monadic predicates and without equality.	Arch. Math. Log.	1981	DBLP DOI BibTeX RDF
14	Martin Kühnrich	The Boolean Algebra of Predicates.	Math. Log. Q.	1980	DBLP DOI BibTeX RDF
14	William N. Reinhardt	Necessity predicates and operators.	J. Philos. Log.	1980	DBLP DOI BibTeX RDF
14	Daniel J. Rosenkrantz, Harry B. Hunt III	Processing Conjunctive Predicates and Queries.	VLDB	1980	DBLP BibTeX RDF
14	Forbes D. Lewis	On unsolvability in subrecursive classes of predicates.	Notre Dame J. Formal Log.	1979	DBLP DOI BibTeX RDF
14	James Andrew Fulton	An intensional logic of predicates and predicate modifiers without modal operators.	Notre Dame J. Formal Log.	1979	DBLP DOI BibTeX RDF
14	Andreas Brandstädt	On a Family of Complexity Measures on Turing Machines, defined by Predicates.	J. Inf. Process. Cybern.	1978	DBLP BibTeX RDF
14	Celia Wrathall	Rudimentary Predicates and Relative Computation.	SIAM J. Comput.	1978	DBLP DOI BibTeX RDF