Search results for "predicate calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
3	Raymond T. Boute	Functional declarative language design and predicate calculus: a practical approach.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics
3	Hanane El Bakkali, Bahia Idrissi Kaitouni	A Predicate Calculus Logic for the PKI Trust Model Analysis.	NCA	2001	DBLP DOI BibTeX RDF	certificate policy, trust relationships, logic-based approach, authentication, certificate, PKI, trust model, predicate calculus
3	J. Bradley	An Extended Owner-Coupled Set Data Model and Predicate Calculus for Database Management.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	Codasyl DBTG, DSL AlPHA, connection field, extended Bachman diagram, extended owner-coupled set data model, extended owner-coupled set predicate calculus, information bearing set name, owner-coupled set, static set, virtual set, functional dependency, dynamic set
2		Predicate Calculus.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng	Handling non-canonical software requirements based on Annotated Predicate Calculus.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Redundancy, Inconsistency, Software requirements, Paraconsistent logic, Vagueness, Incompleteness
2	Deborah East, Miroslaw Truszczynski	Predicate-calculus-based logics for modeling and solving search problems.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
2	Jan Rauch	Definability of Association Rules in Predicate Calculus.	Foundations and Novel Approaches in Data Mining	2006	DBLP DOI BibTeX RDF
2	Mojtaba Aghaei, Mohammad Ardeshir	A Gentzen-style axiomatization for basic predicate calculus.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
2	Jijuan Zheng	A Formalism of Contextualized Predicate Calculus for Information Integration.	OTM Workshops	2003	DBLP DOI BibTeX RDF
2	Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic	A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. (PDF / PS)	ECBS	2002	DBLP DOI BibTeX RDF	formal software verification, fault-tolerant and robust software, mission-critical embedded software, reverse engineering, automated theorem proving, predicate calculus
2	Abdesselam Redouane	Experience Using Formal Methods for Capturing Requirements of Web-Based Applications.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	modularity and parameterization, formal methods, web-based applications, dynamic behavior, predicate calculus
2	Ivan Kramosil	Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions.	Soft Comput.	2001	DBLP DOI BibTeX RDF	First-order predicate calculus, Standard semantics, Boolean-like semantics, Frequentistic semantics, Completeness theorems
2	Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer	Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	Raymond T. Boute	Supertotal Function Definition in Mathematics and Software Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness
2	Lex Bijlsma, Rob Nederpelt	Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions.	Acta Inf.	1998	DBLP DOI BibTeX RDF
2	Wil Dekkers, Martin W. Bunder, Henk Barendregt	Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification:03B40
2	Olivier Roussel, Philippe Mathieu	Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.	CADE	1997	DBLP DOI BibTeX RDF
2	Jürgen Schwille	Modeling product and process characteristics in software configuration management.	CSMR	1997	DBLP DOI BibTeX RDF	process characteristics, product characteristic modelling, Concert, project specific models, model restrictions, development history, software maintenance, process modeling, SCM, configuration management, software configuration management, software project, predicate calculus, entity relationship diagrams, change requests, seamless integration
2	Michel Langevin	Automated RTL Verification Based on Predicate Calculus.	CAV	1990	DBLP DOI BibTeX RDF
2	Daniel Mey	A Predicate Calculus with Control of Derivations.	CSL	1989	DBLP DOI BibTeX RDF
2	Frank D. Anger, Robert A. Morris, Rita V. Rodríguez, Ramón A. Mata-Toledo	A Temporal Relational Calculus.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	Knowledge Base, Predicate Calculus, Temporal Knowledge
2	James R. Slagle	Interpolation Theorems for Resolution in Lower Predicate Calculus.	J. ACM	1970	DBLP DOI BibTeX RDF
2	Zohar Manna	Properties of Programs and the First-Order Predicate Calculus.	J. ACM	1969	DBLP DOI BibTeX RDF
1	Philip Kelly, M. H. van Emden	Relational Semantics for Databases and Predicate Calculus	CoRR	2012	DBLP BibTeX RDF
1		Predicate Calculus.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
1		First-Order Predicate Calculus.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
1	Néstor Cataño, Camilo Rueda	Matelas: A Predicate Calculus Common Formal Definition for Social Networking.	ASM	2010	DBLP DOI BibTeX RDF
1	Carlo Dell'Aquila, Francesco Di Tria, Ezio Lefons, Filippo Tangorra	Dimensional fact model extension via predicate calculus.	ISCIS	2009	DBLP DOI BibTeX RDF
1	Fernando Ferreira, Gilda Ferreira	Commuting Conversions vs. the Standard Conversions of the "Good" Connectives.	Studia Logica	2009	DBLP DOI BibTeX RDF	commuting conversions, predicative quantifiers, Natural deduction
1	Luc Schneider	The Logic of the Ontological Square.	Studia Logica	2009	DBLP DOI BibTeX RDF	particulars, substances, Universals, predication, modes, copula, formal ontology
1	Andrew Gleibman	Intelligent Processing of an Unrestricted Text in First Order String Calculus.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF
1	Chunlei Fu, Li Fu	Comprehensive Assessment Model of Network Vulnerability Based upon Refined Mealy Automata.	CSSE	2008	DBLP DOI BibTeX RDF
1	Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson	Automatic Generation of Local Repairs for Boolean Programs.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Farhad Mehta	A Practical Approach to Partiality - A Proof Based Approach.	ICFEM	2008	DBLP DOI BibTeX RDF
1	José Nuno Oliveira	Extended Static Checking by Calculation Using the Pointfree Transform.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF	formal methods, Theoretical foundations, proof obligations, extended static checking
1	Jirí Rachunek, Dana Salounová	Monadic GMV-algebras.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 06F15, 06D35, 06F05
1	Jirí Rachunek, Filip Svrcek	Monadic Bounded Commutative Residuated l-monoids.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G25, 06D20, 06D35, 06F05
1	Cameron Maxwell, Tim O'Neill, John Leaney	Formal Architecture Transformation Using Heuristics.	ECBS	2007	DBLP DOI BibTeX RDF
1	Abdesselam Redouane	A decision making model for software design.	SMC	2007	DBLP DOI BibTeX RDF
1	Robert Leithiser	A relational database model for representation of formal specifications.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	Zed, relational state, formal specification, formal methods, relational database management system, RDBMS, state transition
1	Abdesselam Redouane	A Decision Making Model for Web Applications Design.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
1	Valery Plisko	On Primitive Recursive Realizabilities.	CSR	2006	DBLP DOI BibTeX RDF
1	Yifeng Chen	Hierarchical Organisation of Predicate-Semantic Models.	UTP	2006	DBLP DOI BibTeX RDF
1	Guojun Wang, K. S. Chin, C. Y. Dang	A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system K*.	Science in China Series F: Information Sciences	2005	DBLP DOI BibTeX RDF
1	Dirk Beyer, Andreas Noack, Claus Lewerentz	Efficient Relational Calculation for Software Analysis.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	data structures, reverse engineering, Logic programming, graph algorithms, reengineering
1	Kedian Mu, Zhi Jin, Ruqian Lu	Inconsistency-Based Strategy for Clarifying Vague Software Requirements.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
1	Mark A. Cameron, Kerry L. Taylor	First-Order Patterns for Information Integration.	ICWE	2005	DBLP DOI BibTeX RDF
1	Douglas B. Lenat	Scaling Up: Computers vs. Common Sense.	LPAR	2005	DBLP DOI BibTeX RDF
1	Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide	Fact Calculus: Using ORM and Lisa-D to Reason About Domains.	OTM Workshops	2005	DBLP DOI BibTeX RDF
1	Huimin Lin	Predicate µ-Calculus for Mobile Ambients.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	model checking, mu-calculus, fixpoints, spatial logic, mobile ambients
1	Kevin Cleereman, Michael T. Cox	Linear Inequality Control Rules in State-Space Planning: Beyond the first order predicate calculus.	MAICS	2004	DBLP BibTeX RDF
1	Abdesselam Redouane	Towards a New Method for the Development of Web-Based Applications.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	first order predicate calculus, formal methods, web-based applications
1	Gloria T. Lau, Shawn Kerrigan, Kincho H. Law, Gio Wiederhold	An e-government information architecture for regulation analysis and compliance assistance.	ICEC	2004	DBLP DOI BibTeX RDF	legal informatics, text mining, e-government, shallow parsing, e-rulemaking, compliance check, similarity analysis
1	Tatyana Batura, Feodor Murzin	Logical Methods for Representing Meaning of Natural Language Texts.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
1	Daowu Pei	On the strict logic foundation of fuzzy reasoning.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Fuzzy predicate logic, First-order system K, Many-sort system Kms, Triple I inference method, Fuzzy reasoning
1	Christian Mancas, Simona Dragomir, Laviania Crasovschi	On Modeling First Order Predicate Calculus using the Elementary Mathematical Data Model in MatBase DBMS.	Applied Informatics	2003	DBLP BibTeX RDF
1	Dirk Beyer, Andreas Noack, Claus Lewerentz	Simple and Efficient Relational Querying of Software Structures.	WCRE	2003	DBLP DOI BibTeX RDF
1	Jens Busch, Wolfgang Banzhaf	How to Program Artificial Chemistries.	ECAL	2003	DBLP DOI BibTeX RDF
1	Abdesselam Redouane	A New Definitional Specification Language.	ICCSA	2003	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial, Dominique Cansell	Click'n Prove: Interactive Proofs within Set Theory.	TPHOLs	2003	DBLP DOI BibTeX RDF
1	Sylvain Baro	Introduction to PAF!, a Proof Assistant for ML Programs Verification.	TYPES	2003	DBLP DOI BibTeX RDF
1	Anand Ranganathan, Roy H. Campbell	An infrastructure for context-awareness based on first order logic.	Personal and Ubiquitous Computing	2003	DBLP DOI BibTeX RDF	Context-awareness, Logic, Infrastructure
1	Daniel Powell	Deriving Verification Conditions and Program Assertions to Support Software Inspection.	APSEC	2002	DBLP DOI BibTeX RDF	practical formal methods, stepwise abstraction, clean-room software development, verification, inspection, reading techniques, trusted components
1	Akira Mori, Kokichi Futatsugi	CafeOBJ as a Tool for Behavioral System Verification.	ISSS	2002	DBLP DOI BibTeX RDF
1	Roland Hausser	Replicating Quantified Noun Phrases in Database Semantics.	NLDB	2002	DBLP DOI BibTeX RDF
1	Drew V. McDermott, Dejing Dou	Representing Disjunction and Quantifiers in RDF.	International Semantic Web Conference	2002	DBLP DOI BibTeX RDF
1	Dumitru Daniel Dragulici, George Georgescu	Algebraic Logic for Rational Pavelka Predicate Calculus.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
1	Hong Ki Thae, Dang Van Hung	A Case Study on Formal Design of Hybrid Control Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	Discrete Design, Embedded Systems, Control Theory, Duration Calculus
1	Simona Ronchi Della Rocca, Luca Roversi	Intersection Logic.	CSL	2001	DBLP DOI BibTeX RDF
1	Alessandro Berarducci, Corrado Böhm	General Recursion on Second Order Term Algebras.	RTA	2001	DBLP DOI BibTeX RDF
1	Joseph M. Morris, Alexander Bunkenburg	A theory of bunches.	Acta Inf.	2001	DBLP BibTeX RDF
1	Albert Visser	Submodels of Kripke models.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): Primary: 03B20, 03C40, 03F50, Secondary: 03C90
1	Derek Rayside, Gerard T. Campbell	An Aristotelian understanding of object-oriented programming.	OOPSLA	2000	DBLP DOI BibTeX RDF
1	Hans-Peter Störr, Michael Thielscher	A New Equational Foundation for the Fluent Calculus.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Erik Sandewall	An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.	Higher-Order and Symbolic Computation	1999	DBLP DOI BibTeX RDF
1	Robert M. MacGregor	Integrating Descriptions and Classification into a Predicate Calculus Framework.	Description Logics	1999	DBLP BibTeX RDF
1	Walter Hussak, John A. Keane	Formal Analysis of Memory Requirements.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Memory systems, Parallel applications, Predicate calculus
1	Michael Thielscher	A Theory of First-Order Counterfactual Reasoning.	KI	1999	DBLP DOI BibTeX RDF
1	John F. Sowa	Relating Templates to Language and Logic.	SCIE	1999	DBLP DOI BibTeX RDF
1	Wim Ruitenburg	Basic Predicate Calculus.	Notre Dame Journal of Formal Logic	1998	DBLP BibTeX RDF
1	Arcot Sowmya, S. Ramesh	Extending Statecharts with Temporal Logic.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines
1	Bernard Moulin	A Logical Framework for Modeling a Discourse from the Point of View of the Agents Involved in It (Research Note).	ICCS	1998	DBLP DOI BibTeX RDF
1	Mary Cryan, Allan Ramsay	Constructing a Normal Form for Property Theory.	CADE	1997	DBLP DOI BibTeX RDF
1	Weidong Chen, 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
1	Robert F. Stärk	Call-by-Value, Call-by-Name and the Logic of Values.	CSL	1996	DBLP DOI BibTeX RDF
1	Norman D. Megill	A Finitely Axiomatized Formalization of Predicate Calculus with Equality.	Notre Dame Journal of Formal Logic	1995	DBLP BibTeX RDF
1	Michael Kifer, Georg Lausen, James Wu	Logical Foundations of Object-Oriented and Frame-Based Languages.	J. ACM	1995	DBLP DOI BibTeX RDF	frame-based languages, nonmonotonic inheritance, semantics, object-oriented programming, logic programming, deductive databases, typing, proof theory
1	Weidong Chen, Michael Kifer	Sorted HiLog: Sorts in Higher-Order Logic Data Languages.	ICDT	1995	DBLP DOI BibTeX RDF
1	Peter Graf	Substitution Tree Indexing.	RTA	1995	DBLP DOI BibTeX RDF
1	Tanel Tammet, Jan M. Smith	Optimized Encodings of Fragments of Type Theory in First Order Logic.	TYPES	1995	DBLP DOI BibTeX RDF
1	Rita Maria da Silva, Antônio Eduardo C. Pereira, Márcio L. Andrade Netto	A System of Knowledge Representation Based in Formulae of Predicate Calculus whose Variables are Annotated by Expressions of A "Fuzzy"Terminological Logic.	IPMU	1994	DBLP DOI BibTeX RDF
1	Robert M. MacGregor	A Description Classifier for the Predicate Calculus.	AAAI	1994	DBLP BibTeX RDF
1	Alexander Borgida	On The Relationship Between Description Logic and Predicate Logic.	CIKM	1994	DBLP DOI BibTeX RDF
1	Jeffrey Douglas, Richard A. Kemmerer	Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications.	ISSTA	1994	DBLP DOI BibTeX RDF
1	Beata Konikowska	Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.	Journal of Applied Non-Classical Logics	1993	DBLP BibTeX RDF
1	Henk Barendregt, Martin W. Bunder, Wil Dekkers	Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus.	J. Symb. Log.	1993	DBLP BibTeX RDF
1	Maurice Pagnucco, Norman Y. Foo	Inverting Resolution with Conceptual Graphs.	ICCS	1993	DBLP DOI BibTeX RDF	inverse resolution, machine learning, Inductive inference, constructive induction
1	John F. Sowa	Relating Diagrams to Logic.	ICCS	1993	DBLP DOI BibTeX RDF
1	Richard B. Borie, R. Gary Parker, Craig A. Tovey	Automatic Generation of Linear-Time Algorithms from Predicate Calculus Descriptions of Problems on Recursively Constructed Graph Families.	Algorithmica	1992	DBLP DOI BibTeX RDF