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 |
|