Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Rolf Wiehagen, Carl H. Smith, Thomas Zeugmann |
Classifying Recursive Predicates and Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GOSLER Final Report ![In: Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, pp. 174-189, 1995, Springer, 3-540-60217-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | François Fages |
Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 68-89, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Michael Sheard |
A Guide to Truth Predicates in the Modern Era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 59(3), pp. 1032-1054, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Saharon Shelah, Joel Spencer |
Random Sparse Unary Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 5(3), pp. 375-394, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Mehmet A. Orgun, William W. Wadge |
Extending Temporal Logic Programming with Choice Predicates Non-Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 4(6), pp. 877-903, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Sang-Koo Seo, Yoon-Joon Lee |
Optimal evaluation of path predicates in object-oriented queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 40(10-12), pp. 751-754, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Henning Christiansen 0001 |
On Proof Predicates in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming ![In: ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Legal Application of Logic Programming ![In: ICLP 1994 Workshop W12: Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
14 | Henning Christiansen 0001 |
Efficient and Complete Demo Predicates for Definite Clause Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, pp. 735-736, 1994, MIT Press, 0-262-72022-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
14 | Theodore S. Norvell |
Machine Code Programs are Predicates Too. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 188-204, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Konstantin N. Ignatiev |
On Strong Provability Predicates and the Associated Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 58(1), pp. 249-290, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 38(2), pp. 232-247, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 9(6), pp. 591-600, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Reinhold Heckmann |
Power Domains and Second-Order Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 111(1&2), pp. 59-88, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | H. Justin Coven |
Altering and Applying Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 18(1), pp. 57-75, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Mauricio Ayala-Rincón |
Expressiveness of conditional equational systems with built-in predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
14 | Claudio Hermida |
Fibrations, logical predicates and indeterminates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
14 | Dominique Laurent 0001, Viet Phan Luong, Nicolas Spyratos |
Updating Intensional Predicates in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the Ninth International Conference on Data Engineering, April 19-23, 1993, Vienna, Austria, pp. 14-21, 1993, IEEE Computer Society, 0-8186-3570-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | François Fages |
On the Semantics of Optimization Predicates in CLP languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 51-59, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Egon Börger, Dean Rosenzweig |
The Mathematics of Set Predicates in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kurt Gödel Colloquium ![In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings, pp. 1-13, 1993, Springer, 3-540-57184-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Peter R. Ritson, Terry A. Halpin |
Mapping One-to-One Predicates to a Relational Schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Database Conference ![In: Advances in Database Research - Proceedings of the 4th Australian Database Conference, ADC '93, Griffith University, Brisbane, Queensland, Australia, February 1-2, 1993, pp. 68-84, 1993, World Scientific, 981-02-1331-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Marcello M. Bonsangue, Joost N. Kok |
Isomorphisms between Predicates and State Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 301-310, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Michel Hurfin, Noël Plouzeau, Michel Raynal |
Detecting Atomic Sequences of Predicates in Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, California, USA, May 17-18, 1993, pp. 32-42, 1993, ACM, 0-89791-633-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Alexander I. Tomlinson, Vijay K. Garg |
Detecting Relational Global Predicates in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, California, USA, May 17-18, 1993, pp. 21-31, 1993, ACM, 0-89791-633-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Mark Crovella, Thomas J. LeBlanc |
Performance Debugging using Parallel Performance Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, California, USA, May 17-18, 1993, pp. 140-150, 1993, ACM, 0-89791-633-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Rolf Wiehagen, Carl H. Smith, Thomas Zeugmann |
Classification of predicates and languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroCOLT ![In: Proceedings of the First European Conference on Computational Learning Theory, EuroCOLT 1993, London, UK, December 20-22, 1993., pp. 171-181, 1993, Oxford University Press, 0-19-853492-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Carlos Escalante |
A simple model of prolog's performance: extensional predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 1119-1132, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Juan José Moreno-Navarro, Mario Rodríguez-Artalejo |
Logic Programming with Functions and Predicates: The Language BABEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 12(3&4), pp. 191-223, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Marco Cadoli, Thomas Eiter, Georg Gottlob |
An Efficient Method for Eliminating Varying Predicates from a Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 54(2), pp. 397-410, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 14(2), pp. 146-162, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Witold Litwin, Tore Risch |
Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 4(6), pp. 517-528, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Atzeni, Riccardo Torlone |
Updating intensional predicates in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 8, pp. 1-17, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Xian-He Sun, Nabil Kamel |
Preprocessing predicates and queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 17(6), pp. 465-475, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Larry Wos |
The Problem of Choosing between Using and Avoiding Eqyality Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 8(2), pp. 307-309, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Ching-Tsun Chou |
A Sequent Formulation of a Logic of Predicates in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 71-80, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Kazuo Iwama, Hidetoshi Abeta, Eiji Miyano |
Random Generation of Satisfiable and Unsatisfiable CNF Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress (1) ![In: Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992, pp. 322-328, 1992, North-Holland, 0-444-89747-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Surajit Chaudhuri |
Finding Nonrecursive Envelopes for Datalog Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 96-105, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Dekang Lin |
A Probabilistic Network of Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, Stanford University, Stanford, CA, USA, July 17-19, 1992, pp. 174-181, 1992, Morgan Kaufmann, 1-55860-258-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Yoshifumi Manabe, Shigemi Aoyagi |
Debugging Dynamic Distributed Programs Using Global Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, SPDP 1992, Arlington, Texas, USA, December 1-4, 1992., pp. 402-407, 1992, IEEE Computer Society, 0-8186-3200-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | C. A. R. Hoare |
Programs are Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan., pp. 211-218, 1992, IOS Press, 90-5199-099-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | John P. Gallagher, D. Andre de Waal |
Deletion of Redundant Unary Type Predicates from Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992, pp. 151-167, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Andrzej Blikle |
Three-valued predicates for software specification and validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 14(4), pp. 387-410, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
14 | Joseph Y. Halpern |
Presburger Arithmetic with Unarr Predicates is Pi11 Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 56(2), pp. 637-642, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Gerd Wagner 0001 |
Logic Programming with Strong Negation and Inexact Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 1(6), pp. 835-859, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Péter Szeredi |
Using Dynamic Predicates in an Or--Parallel Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLP ![In: Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991, pp. 355-371, 1991, MIT Press, 0-262-69147-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
14 | Tadashi Kawamura |
Derivation of Efficient Logic Programs by Synthesizing New Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLP ![In: Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991, pp. 611-625, 1991, MIT Press, 0-262-69147-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
14 | Christoph Darxler |
Accessing Relational and NF2 Databases Through Database Set Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 156-173, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
14 | Ciaran McHale, Bridget Walsh, Seán Baker, Alexis A. Donnelly |
Scheduling Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 177-193, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Kathryn E. Sanders |
Representing and Reasoning About Open-Textured Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Third International Conference on Artificial Intelligence and Law, ICAIL '91, Oxford, England, June 25-28, 1991, pp. 137-144, 1991, ACM, 0-89791-399-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Keith Marzullo, Gil Neiger |
Detection of Global State Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 5th International Workshop, WDAG '91, Delphi, Greece, October 7-9, 1991, Proceedings, pp. 254-272, 1991, Springer, 3-540-55236-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Sumit Ganguly, Sergio Greco, Carlo Zaniolo |
Minimum and Maximum Predicates in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado, USA, pp. 154-163, 1991, ACM Press, 0-89791-430-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Makoto Tatsuta |
Monotone Recursive Definition of Predicates and Its Realizability Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 38-52, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Giuseppe Attardi, Mauro Gaspari, Pietro Iglio |
Effiecient Compilation of First Order Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings, pp. 440-444, 1991, Springer, 3-540-54712-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Logic and Fuzzy Control ![In: Fuzzy Logic and Fuzzy Control, IJCAI '91, Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991, Proceedings, pp. 45-55, 1991, Springer, 3-540-58279-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Robert Cooper, Keith Marzullo |
Consistent Detection of Global Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, California, USA, May 20-21, 1991, pp. 167-174, 1991, ACM, 0-89791-457-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Dusko Pavlovic |
Constructions and Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Category Theory and Computer Science ![In: Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings, pp. 173-196, 1991, Springer, 3-540-54495-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Egon Börger |
A Logical Operational Semantics of Full Prolog Part II: Built-in Predicates for Database Manipulations ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBS Report ![In: IWBS Report 115, 1990. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBS Report ![In: IWBS Report 117, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
RDF |
|
14 | H. Katsuno |
Closed World Assumptions Having Precedence in Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 8(3), pp. 185-209, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Toshiyasu Arai |
Derivability Conditions on Rosser's Provability Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 31(4), pp. 487-497, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Michael Gilpin, Robert Shelton |
Predicates whose maximal length functions increase periodically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 84(1), pp. 15-21, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Maria Teresa Pazienza, Roberto Basili 0001 |
A Natural Language Interface to Expert Systems Based on Logic Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modelling the Innovation ![In: Modelling the Innovation: Communications, Automation and Information Systems, Proceedings of the IFIP TC7 Conference on Modelling the Innovation: Communications, Automation and Information Systems, Rome, Italy, 21-23 March, 1990, pp. 307-324, 1990, North-Holland, 0-444-88565-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
14 | Egon Börger |
A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 1-14, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Stanley Letovsky |
Operationality Criteria for Recursive Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes., pp. 936-941, 1990, AAAI Press / The MIT Press, 0-262-51057-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
14 | Detlef Fehrer |
A Resolution Calculus for a Logic Based on Vaguely Defined Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 9th European Conference on Artificial Intelligence, ECAI 1990, Stockholm, Sweden, 1990., pp. 268-273, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA, pp. 236-244, 1990, IEEE Computer Society, 0-8186-2036-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Graem A. Ringwood |
Predicates and pixels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 7(1), pp. 59-80, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Johan de Kleer, Kurt Konolige |
Eliminating the Fixed Predicates from a Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 39(3), pp. 391-398, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Mahadevan Ganapathi |
Semantic Predicates in Parser Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 14(1), pp. 25-33, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Brent Mundy |
Elementary categorial logic, predicates of variable degree, and theory of quantity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 18(2), pp. 115-140, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Edwina L. Rissland, David B. Skalak |
Interpreting Statutory Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Second International Conference on Artificial Intelligence and Law, ICAIL '89, Vancouver, BC, Canada, June 13-16, 1989, pp. 46-53, 1989, ACM, 0-89791-322-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Job Zwiers, Willem P. de Roever |
Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989, pp. 265-279, 1989, ACM, 0-89791-326-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | James H. Andrews |
Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings, pp. 31-47, 1989, Springer, 3-540-53590-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Roy A. Sorensen |
Precisification by means of vague predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 29(2), pp. 267-275, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Joachim W. Schmidt |
First order predicates in a strongly typed database programming language: the DBPL experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Quatrièmes Journées Bases de Données Avancées, 17-20 Mai 1988, Bénodet, France (2 Volumes) (Informal Proceedings)., pp. 73-74, 1988, INRIA. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
14 | Rene Quiniou, Laurent Trilling |
Collective Predicates: Expressing Control of OR-Parallelism in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence III: Methodology, Systems, Applications - Proceedings of the Third International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1988, Varna, Bulgaria, September 20-23, 1988, pp. 159-167, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
14 | Stephen H. Muggleton |
A Strategy for Constructing New Predicates in First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSL ![In: Proceedings of the Third European Working Session on Learning, EWSL 1988, Turing Institute, Glasgow, UK, October 3-5, 1988, pp. 123-130, 1988, Pitman Publishing, 0-273-08800-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
14 | Stephen H. Muggleton, Wray L. Buntine |
Machine Invention of First Order Predicates by Inverting Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Machine Learning, Proceedings of the Fifth International Conference on Machine Learning, Ann Arbor, Michigan, USA, June 12-14, 1988, pp. 339-352, 1988, Morgan Kaufmann, 0-934613-64-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
14 | Nissim Francez, Shmuel Katz |
Fairness and the axioms of control predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 16(4), pp. 263-278, 1987. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 46(1), pp. 1-15, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | M. Deutsch |
Spectral Representation of Recursively Enumerable and Coenumerable Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computation Theory and Logic ![In: Computation Theory and Logic, In Memory of Dieter Rödding, pp. 107-116, 1987, Springer, 3-540-18170-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Ermanno Bencivenga, Karel Lambert |
A free logic with simple and complex predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 27(2), pp. 247-256, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
14 | R. R. Patel, R. B. Hunter |
Implementing ALGOL 68 Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 16(1), pp. 87-97, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Dietlinde Lau |
On Subalgebras of an Algebra of Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 21(1/2), pp. 9-22, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
14 | Raymond Turner |
Three theories of nominalized predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 44(2), pp. 165-186, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Lee Naish |
All Solutions Predicates in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985, pp. 73-77, 1985, IEEE-CS, 0-8186-0636-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
14 | Lee J. White, P. N. Sahay |
Experiments Determining Best Paths for Testing Computer Program Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings, 8th International Conference on Software Engineering, London, UK, August 28-30, 1985., pp. 238-243, 1985, IEEE Computer Society, 0-8186-0620-7. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
14 | Ahmad Almukdad, David Nelson |
Constructible Falsity and Inexact Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 49(1), pp. 231-233, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
14 | Jacques Vautherin, Gérard Memmi |
Computation of flows for unary-predicates/transition-nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 455-467, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
14 | C. A. R. Hoare, A. W. Roscoe 0001 |
Programs as Executable Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 220-228, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
14 | John W. Sutherland |
Normative predicates of next-generation management support systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. ![In: IEEE Trans. Syst. Man Cybern. 13(3), pp. 279-297, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
14 | Michael Katz |
Real-Valued Models with Metric Equality and Uniformly Continuous Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 47(4), pp. 772-792, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Hans Kleine Büning |
Some undecidable theories with monadic predicates and without equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 21(1), pp. 137-148, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
14 | Martin Kühnrich |
The Boolean Algebra of Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 26(22-24), pp. 355-360, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
14 | William N. Reinhardt |
Necessity predicates and operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 9(4), pp. 437-450, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
14 | Daniel J. Rosenkrantz, Harry B. Hunt III |
Processing Conjunctive Predicates and Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: Sixth International Conference on Very Large Data Bases, October 1-3, 1980, Montreal, Quebec, Canada, Proceedings., pp. 64-72, 1980, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
14 | Forbes D. Lewis |
On unsolvability in subrecursive classes of predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 20(1), pp. 55-67, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
14 | James Andrew Fulton |
An intensional logic of predicates and predicate modifiers without modal operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 20(4), pp. 807-834, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Brandstädt |
On a Family of Complexity Measures on Turing Machines, defined by Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 14(7/8), pp. 331-339, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|
14 | Celia Wrathall |
Rudimentary Predicates and Relative Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 7(2), pp. 194-209, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|