Search results for "derivability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	Yi-Dong Shen, Jia-Huai You	A Default Approach to Semantics of Logic Programs with Constraint Atoms.	LPNMR	2009	DBLP DOI BibTeX RDF
49	Cristina Gómez 0001, Antoni Olivé	Evolving Derived Entity Types in Conceptual Schemas in the UML.	OOIS	2003	DBLP DOI BibTeX RDF
49	Giovanna D'Agostino, Angelo Montanari, Alberto Policriti	A Set-Theoretic Translation Method for (Poly)modal Logics.	STACS	1995	DBLP DOI BibTeX RDF
45	Chedy Raïssi, Toon Calders, Pascal Poncelet	Mining conjunctive sequential patterns.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Non-derivability, Sequential patterns, Deduction, Condensed representation
44	Angelo Montanari, Alberto Policriti, Matteo Slanina	Derivability in Locally Quantified Modal Logics via Translation in Set Theory.	MFCS	2000	DBLP DOI BibTeX RDF
44	Jens Albrecht, Holger Günzel, Wolfgang Lehner	Set-Derivability of Multidimensional Aggregates.	DaWaK	1999	DBLP DOI BibTeX RDF
44	Hideto Sato	Handling Summary Information in a Database: Derivability.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
44	Stephen A. Cook	The Solvability of the Derivability Problem for One-Normal Systems.	J. ACM	1966	DBLP DOI BibTeX RDF
33	Yury Savateev	Product-Free Lambek Calculus Is NP-Complete.	LFCS	2009	DBLP DOI BibTeX RDF
33	Ilias Michalarias, Hans-Joachim Lenz	Optimal Query Mapping in Mobile OLAP.	ADBIS	2007	DBLP DOI BibTeX RDF
33	Craig Gentry, Zulfikar Ramzan	RSA Accumulator Based Broadcast Encryption.	ISC	2004	DBLP DOI BibTeX RDF
33	Ilkka Niemelä	On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic.	CSL	1988	DBLP DOI BibTeX RDF
28	Sha Guo, Wei Sun 0002, Mark Allen Weiss	On Satisfiability, Equivalence, and Impication Problems Involving Conjunctive Queries in Database Systems.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	derivability problem, Database, NP-hard, satisfiability, conjunctive queries, implication problem
28	Xian-He Sun, Nabil Kamel, Lionel M. Ni	Processing Implication on Queries.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Derivability Problem, project-select-joint queries, satisfiabilitya, Database, NP-hard, Directed Graph, Mathematical Logic, Implication Problem
28	Meng Chang Chen, Lawrence McNamee	On the Data Model and Access Method of Summary Data Management.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	summary data management, trinary tuple, statistical function, metaknowledge, average-income, female engineer, derivability problem, disjointness constraint, SD tree, summary data search, computational complexity, data structures, experience, database management systems, data model, access method, insertion, category, deletion, summary, multidimensional access method
28	E. F. Codd	A Relational Model of Data for Large Shared Data Banks.	Commun. ACM	1970	DBLP DOI BibTeX RDF	data bank, hierarchies of data, networks of data, retrieval language, security, data structure, data integrity, composition, consistency, redundancy, relations, join, derivability, data base, data organization, predicate calculus
27	Bruno Da Ré, Damián Enrique Szmuc, Paula Teijeiro	Derivability and Metainferential Validity.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
27	Annika Kanckos	Intuitionistic Derivability in Anderson's Variant of the Ontological Argument.	ARQNL@IJCAR	2022	DBLP BibTeX RDF
27	Satoshi Masuda, Tohru Matsuodani, Kazuhiko Tsuda	Syntax-Tree Similarity for Test-Case Derivability in Software Requirements.	ICST Workshops	2021	DBLP DOI BibTeX RDF
27	Francesco A. Genco, Francesca Poggiolesi	Defining Formal Explanation in Classical Logic by Substructural Derivability.	CiE	2021	DBLP DOI BibTeX RDF
27	Taishi Kurahashi	A note on Derivability conditions.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
27	Emanuel Palm, Olov Schelén, Ulf Bodin	Selective Blockchain Transaction Pruning and State Derivability.	CVCBT	2018	DBLP DOI BibTeX RDF
27	Jochen Burghardt	Repetition-Free Derivability from a Regular Grammar is NP-Hard.	CoRR	2016	DBLP BibTeX RDF
27	Yoni Zohar, Anna Zamansky	Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi.	IJCAR	2016	DBLP DOI BibTeX RDF
27	Moses D. Liskov, F. Javier Thayer	Modeling Diffie-Hellman Derivability for Automated Analysis.	CSF	2014	DBLP DOI BibTeX RDF
27	Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh	Primal Infon Logic: Derivability in Polynomial Time.	FSTTCS	2013	DBLP DOI BibTeX RDF
27	Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh 0002, Swarup Mohalik, Jean-Vivien Millo	Formalizing Traceability and Derivability in Software Product Lines	CoRR	2012	DBLP BibTeX RDF
27	Jan von Plato, Annika Siders	Normal Derivability in Classical Natural Deduction.	Rev. Symb. Log.	2012	DBLP DOI BibTeX RDF
27	Ho-Pun Lam	On the Derivability of Defeasible Logic		2012	RDF
27	Marco B. Caminati	Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem.	Formaliz. Math.	2011	DBLP DOI BibTeX RDF
27	Alexei Lisitsa 0001	Reachability as Derivability, Finite Countermodels and Verification.	ATVA	2010	DBLP DOI BibTeX RDF
27	E. F. Codd	Derivability, redundancy and consistency of relations stored in large data banks.	SIGMOD Rec.	2009	DBLP DOI BibTeX RDF
27	Pedro Jiménez Guerra, M. A. Melguizo, Maria José Muñoz-Bouzo	Polar Conic Set-Valued Map in Vector Optimization. Continuity and Derivability.	J. Optimization Theory and Applications	2009	DBLP DOI BibTeX RDF
27	Robert Saxon Milnikel	Derivability in certain subsystems of the Logic of Proofs is Pi2p-complete.	Ann. Pure Appl. Log.	2007	DBLP DOI BibTeX RDF
27	Jan von Plato	Normal derivability in modal logic.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
27	Diderik Batens	A procedural criterion for final derivability in inconsistency-adaptive logics.	J. Appl. Log.	2005	DBLP DOI BibTeX RDF
27	Gerald Penn	A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus.	FGMOL	2001	DBLP DOI BibTeX RDF
27	Jens Albrecht, Wolfgang Hümmer, Wolfgang Lehner, Lutz Schlesinger	Using Semantics for Query Derivability in Data Warehouse Applications.	FQAS	2000	DBLP DOI BibTeX RDF
27	Jens Albrecht, Wolfgang Hümmer, Wolfgang Lehner, Lutz Schlesinger	Query Optimization by Using Derivability in a Data Warehouse Environment.	DOLAP	2000	DBLP DOI BibTeX RDF
27	Teodor Stepien	Derivability.	Reports Math. Log.	1999	DBLP BibTeX RDF
27	Stanislav N. Vassilyev	The method of synthesis of derivability conditions for Horn formulas and some other formulas.	SMC	1998	DBLP DOI BibTeX RDF
27	Lloyd Humberstone	Valuational semantics of rule derivability.	J. Philos. Log.	1996	DBLP DOI BibTeX RDF
27	Toshiyasu Arai	Derivability Conditions on Rosser's Provability Predicates.	Notre Dame J. Formal Log.	1990	DBLP DOI BibTeX RDF
27	Gerhard Jäger	Notions of Nonmonotonic Derivability.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
27	Antoni Olivé	Information Derivability Analysis In Logical Information Systems.	Commun. ACM	1983	DBLP DOI BibTeX RDF
27	Antoni Olivé, Fèlix Saltor	Formal verification of information derivability in databases using precedence analyses.	Inf. Syst.	1982	DBLP DOI BibTeX RDF
27	Jan Sindelár	Statistical theory of logical derivability.	Kybernetika	1980	DBLP BibTeX RDF
27	P. Tosi	Normal derivability and first-order arithmetic.	Notre Dame J. Formal Log.	1980	DBLP DOI BibTeX RDF
27	Harvey Friedman	On the Derivability of Instantiation Properties.	J. Symb. Log.	1977	DBLP DOI BibTeX RDF
27	Robert G. Jeroslow	Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem.	J. Symb. Log.	1973	DBLP DOI BibTeX RDF
27	E. F. Codd	Derivability, Redundancy and Consistency of Relations Stored in Large Data Banks.	Research Report / RJ / IBM / San Jose, California	1969	RDF
27	Willard Van Orman Quine	On Derivability.	J. Symb. Log.	1937	DBLP DOI BibTeX RDF
16	Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo	Recursive Computation of Regions and Connectivity in Networks.	ICDE	2009	DBLP DOI BibTeX RDF
16	Rosalie Iemhoff, George Metcalfe	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.	LFCS	2009	DBLP DOI BibTeX RDF
16	Cristian Ene, Yassine Lakhnech, Van Chan Ngo	Formal Indistinguishability Extended to the Random Oracle Model.	ESORICS	2009	DBLP DOI BibTeX RDF
16	Raffaella Bernardi, Anna Szabolcsi	Optionality, Scope, and Licensing: An Application of Partially Ordered Categories.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Boolean connectives, Typed feature structures, Natural language syntax, Polarity items, Partial order, Licensing, Residuation, Galois-connection, Scope, Optionality
16	Chedy Raïssi, Toon Calders, Pascal Poncelet	Mining Conjunctive Sequential Patterns.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF
16	Viorica Sofronie-Stokkermans	Efficient Hierarchical Reasoning about Functions over Numerical Domains.	KI	2008	DBLP DOI BibTeX RDF
16	Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez	Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.	FLOPS	2008	DBLP DOI BibTeX RDF
16	Leon Horsten, Philip D. Welch	The Undecidability of Propositional Adaptive Logic.	Synth.	2007	DBLP DOI BibTeX RDF	Dynamic logic, Undecidability, Paraconsistent logic, Adaptive logic
16	Tomoyuki Yamada	Acts of Promising in Dynamified Deontic Logic.	JSAI	2007	DBLP DOI BibTeX RDF
16	Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001	Logical Reasoning for Higher-Order Functions with Local State.	FoSSaCS	2007	DBLP DOI BibTeX RDF
16	Murdoch Gabbay, Aad Mathijssen	One-and-a-halfth-order logic.	PPDP	2006	DBLP DOI BibTeX RDF	?-conversion, Fraenkel-Mostowski techniques, meta-variables, nominal terms, first-order logic, higher-order logic
16	Elaine Pimentel, Dale Miller 0001	On the Specification of Sequent Systems.	LPAR	2005	DBLP DOI BibTeX RDF
16	Regimantas Pliuskevicius, Aida Pliuskeviciene	Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.	CLIMA	2005	DBLP DOI BibTeX RDF
16	Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat	Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.	FSTTCS	2005	DBLP DOI BibTeX RDF
16	Vincent van Oostrom	Sub-Birkhoff.	FLOPS	2004	DBLP DOI BibTeX RDF
16	Dale Miller 0001, Elaine Pimentel	Using Linear Logic to Reason about Sequent Systems.	TABLEAUX	2002	DBLP DOI BibTeX RDF
16	Marc Aiguier, Diane Bahrami, Catherine Dubois	On a Generalised Logicality Theorem.	AISC	2002	DBLP DOI BibTeX RDF	semi-commutation, abstract rewrite tree, abstract convertibility relation, logicality Topics: Term Rewriting, Integration of Logical Reasoning and Computer Algebra, Reasoning, Formal system
16	Jan von Plato	Natural deduction with general elimination rules.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F05
16	Herman Geuvers	Induction Is Not Derivable in Second Order Dependent Type Theory.	TLCA	2001	DBLP DOI BibTeX RDF
16	Gilles Dowek	The Stratified Foundations as a Theory Modulo.	TLCA	2001	DBLP DOI BibTeX RDF
16	Frithjof Dau	Concept Graphs and Predicate Logic.	ICCS	2001	DBLP DOI BibTeX RDF
16	Alberto Abelló, José Samos, Fèlix Saltor	Benefits of an Object-Oriented Multidimensional Data Model.	Objects and Databases	2000	DBLP DOI BibTeX RDF	Semantics, Object-Oriented Data Model, Multidimensionality, Data Marts
16	Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger	Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models.	IWSSD	2000	DBLP BibTeX RDF
16	Timo Soininen, Ilkka Niemelä	Developing a Declarative Rule Language for Applications in Product Configuration.	PADL	1999	DBLP DOI BibTeX RDF
16	Massimo Merro, Davide Sangiorgi	On Asynchrony in Name-Passing Calculi.	ICALP	1998	DBLP DOI BibTeX RDF
16	Thomas Linke, Torsten Schaub	An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.	JELIA	1998	DBLP DOI BibTeX RDF
16	Helmut Horacek	A Model for Adapting Explanations to the User's Likely Inferences.	User Model. User Adapt. Interact.	1997	DBLP DOI BibTeX RDF	stereotype user model, inference, explanation, natural language generation
16	Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi	A System for Abductive Learning of Logic Programs.	LPKR	1997	DBLP DOI BibTeX RDF
16	Herman Geuvers	Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory.	CSL	1996	DBLP DOI BibTeX RDF
16	Regimantas Pliuskevicius	Saturation Replaces Induction for a Miniscoped Linear Temporal Logic.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
16	Regimantas Pliuskevicius	On Saturated Calculi for a Linear Temporal Logic.	MFCS	1993	DBLP DOI BibTeX RDF
16	Siani Baker, Andrew Ireland, Alan Smaill	On the Use of the Constructive Omega-Rule within Automated Deduction.	LPAR	1992	DBLP DOI BibTeX RDF
16	Ilkka Niemelä	Decision Procedure for Autoepistemic Logic.	CADE	1988	DBLP DOI BibTeX RDF	analytic tableaux, theorem proving, Nonmonotonic logic
16	M. A. Nait Abdallah	Icons and Local Definitions in Logic Programming.	STACS	1986	DBLP DOI BibTeX RDF
16	Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo	Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.	ICALP	1985	DBLP DOI BibTeX RDF
16	Zohar Manna, Amir Pnueli	The Modal Logic of Programs.	ICALP	1979	DBLP DOI BibTeX RDF
16	Janis A. Bubenko Jr.	IAM: An Inferential Abstract Modeling Approach to Design of Conceptual Schema.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF