|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 26 keywords
|
|
|
Results
Found 85 publication records. Showing 85 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf |
Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
37 | Hisashi Hayashi |
Knowledge Assimilation and Proof Restoration Through the Addition of Goals. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Martin Davis, Hilary Putnam |
A Computing Procedure for Quantification Theory. |
J. ACM |
1960 |
DBLP DOI BibTeX RDF |
|
32 | David J. Pym, Lincoln A. Wallen |
Investigations into Proof-Search in a System of First-Order Dependent Function Types. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Verifiable agent interaction in abductive logic programming: The SCIFF framework. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols |
24 | Paulo A. S. Veloso, Sheila R. M. Veloso |
On Ultrafilter Logic and Special Functions. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Logics for vague notions, ultrafilter logic, coherent functions, proof procedures, interpretation, generic functions, generalized quantifiers |
22 | Fariba Sadri, Francesca Toni |
Abduction with Negation as Failure for Active and Reactive Rules. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß |
Case Studies in Meta-Level Theorem Proving. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Phan Minh Thang, Phan Minh Dung, Jiraporn Pooksook |
Infinite arguments and semantics of dialectical proof procedures. |
Argument Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Phan Minh Thang |
Dialectical Proof Procedures for Probabilistic Abstract Argumentation. |
PRIMA |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Van Hung Le 0001, Fei Liu 0003 |
Tabulation proof procedures for fuzzy linguistic logic programming. |
Int. J. Approx. Reason. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Donald E. Campbell, Jack E. Graver, Jerry S. Kelly |
There are more strategy-proof procedures than you think. |
Math. Soc. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung |
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Phan Minh Dung, Phan Minh Thang |
A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
18 | Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
Dialectic proof procedures for assumption-based, admissible argumentation. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mireille Larnac, Janine Magnier, Vincent Chapurlat |
Simplification of Proof Procedures Based on the Path Condition Concepts. |
EUROCAST |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
Synthesis of Proof Procedures for Default Reasoning. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari |
Structured Proof Procedures. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Belaid Benhamou, Lakhdar Sais, Pierre Siegel |
Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
symmetry and cardinality, theorem proving, propositional calculus |
18 | Donald W. Loveland |
Proof Procedures for Disjunctive Logic Programming. |
GI Jahrestagung |
1994 |
DBLP DOI BibTeX RDF |
|
18 | David Andre De Waal |
Analysis and transformation of proof procedures. |
|
1994 |
RDF |
|
18 | Marta Cialdea |
Herbrand style proof procedures for modal logic. |
J. Appl. Non Class. Logics |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Reinhold Letz |
First-order calculi and proof procedures for automated deduction. |
|
1993 |
RDF |
|
18 | F. Levi, C. Menchini |
Abductive Proof Procedures for Fault Diagnosis. |
GULP |
1993 |
DBLP BibTeX RDF |
|
18 | David A. Rosenblueth |
Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
18 | Wenhui Zhang |
Cut Elimination and Automatic Proof Procedures. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur |
Inference Rules and Proof Procedures for Inequations. |
J. Log. Program. |
1990 |
DBLP DOI BibTeX RDF |
|
18 | L. Thorne McCarty |
Clausal Intuitionistic Logic II - Tableau Proof Procedures. |
J. Log. Program. |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Marta Cialdea |
Some Remarks on the Possibility of Extending Resolution Proof Procedures to Intuitionistic Logic. |
Inf. Process. Lett. |
1986 |
DBLP DOI BibTeX RDF |
|
18 | Eugenio G. Omodeo |
Decidability and Proof Procedures for Set Theory with a Choice Operator. |
|
1984 |
RDF |
|
18 | Wolfgang Bibel |
A Comparative Study of Several Proof Procedures. |
Artif. Intell. |
1982 |
DBLP DOI BibTeX RDF |
|
18 | Wolfgang Bibel |
A syntactic connection between proof procedures and refutation prcedures. |
Theoretical Computer Science |
1977 |
DBLP DOI BibTeX RDF |
|
18 | David Gelperin |
Deletion-Directed Search in Resolution-Based Proof Procedures. |
IJCAI |
1973 |
DBLP BibTeX RDF |
|
17 | Donald W. Loveland |
Mechanical Theorem-Proving by Model Elimination. |
J. ACM |
1968 |
DBLP DOI BibTeX RDF |
|
16 | Peter Baumgartner 0001, Norbert Eisinger, Ulrich Furbach |
A Confluent Connection Calculus. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Jason Hickey, Aleksey Nogin |
Fast Tactic-Based Theorem Proving. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Frank Teusink |
Three-Valued Completion for Abductive Logic Programs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Katsumi Inoue |
Automated Abduction. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Dominic Duggan |
Logical Closures. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Marco Gavanelli, Marco Alberti 0001, Evelina Lamma |
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Romuald Thion, Stéphane Coulondre |
Modeling and Inferring on Role-Based Access Control Policies Using Data Dependencies. |
DEXA |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Oliver Ray, Krysia Broda, Alessandra Russo |
Generalised Kernel Sets for Inverse Entailment. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Oswaldo Terán, Bruce Edmonds, Steve Wallis |
Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation. |
ATAL |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang |
A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Uwe Keller, Stijn Heymans |
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Salvatore Ruggieri, Frédéric Mesnard |
Typing Linear Constraints for Moding CLP() Programs. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
well-moding, constraint logic programming, definiteness, polyhedra, linear constraints |
10 | Philipp Rümmer, Muhammad Ali Shah |
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
Disproving, Testing, Program verification, Program logics |
10 | Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli |
Lemma Learning in the Model Evolution Calculus. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Uday S. Reddy |
Term Rewriting Induction. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Robert A. Kowalski, Fariba Sadri |
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. |
RR |
2009 |
DBLP DOI BibTeX RDF |
Abductive logic programming, agents, Integrity constraints, Production systems |
10 | Vincent Zammit |
On the Implementation of an Extensible Declarative Proof Language. |
TPHOLs |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Klaus Mayr |
Refinements and Extensions of Model Elimination. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Jack Minker, Carolina Ruiz |
On Extended Disjunctive Logic Programs. |
ISMIS |
1993 |
DBLP DOI BibTeX RDF |
|
7 | Li-Juan Jia, Ran Tao 0003, Yue Wang 0001, Kiyoshi Wada |
Realizations of BELS as WIV method in both direct and indirect closed-loop system identification. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
direct closed-loop system identification, indirect closed-loop system identification, bias eliminated least squares method, weighted instrumental variables method |
7 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Layered Models Top-Down Querying of Normal Logic Programs. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Smodels, XSB-XASP, Semantics, Relevance |
7 | Oliver Ray |
Automated Abduction in Scientific Discovery. |
Model-Based Reasoning in Science, Technology, and Medicine |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
Inducing Declarative Logic-Based Models from Labeled Traces. |
BPM |
2007 |
DBLP DOI BibTeX RDF |
Topics Process mining, DecSerFlow, Careflow, Logic Programming, Process verification and validation |
7 | Subhasis Thakur, Guido Governatori, Vineet Padmanabhan, Jenny Eriksson Lundström |
Dialogue Games in Defeasible Logic. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
An abductive framework for a-priori verification of web services. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
web services, formal verification, constraints, choreographies, abduction |
7 | Manfred Kerber, Martin Pollet |
A Tough Nut for Mathematical Knowledge Management. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni |
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Marco Alberti 0001, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
A Social ACL Semantics by Deontic Constraints. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
7 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
Tableau Calculi for Preference-Based Conditional Logics. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
7 | Sheila R. M. Veloso, Paulo A. S. Veloso |
On Special Functions and Theorem Proving in Logics for 'Generally'. |
SBIA |
2002 |
DBLP DOI BibTeX RDF |
|
7 | Martin Giese |
Incremental Closure of Free Variable Tableaux. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Katsumi Inoue |
A Simple Characterization of Extended Abduction. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Marc Fuchs, Dirk Fuchs |
Abstraction-Based Relevancy Testing for Model Elimination. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
7 | Bernhard Beckert, Reiner Hähnle, Felip Manyà |
Transformations between Signed and Classical Clause Logic. |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
|
7 | Takamichi Saito, Wu Wen, Fumio Mizoguchi |
Incremental Analysis and Verification of Authentication Protocols. |
WETICE |
1999 |
DBLP DOI BibTeX RDF |
|
7 | Pascal Nicolas, Torsten Schaub |
The XRay system: An implementation platform for local query-answering in default logics. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
7 | Torsten Schaub, Pascal Nicolas |
An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. |
ISMIS |
1997 |
DBLP DOI BibTeX RDF |
|
7 | Peter Baumgartner 0001, Ulrich Furbach, Ilkka Niemelä |
Hyper Tableaux. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
7 | Christophe Bourely, Nicolas Peltier |
DiscAtinf: A General Framework for Implementing Calculi and Strategies. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
7 | Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat |
Temporal and Functional Verification of a Symbolic Representation of Complex Systems. |
EUROCAST |
1995 |
DBLP DOI BibTeX RDF |
|
7 | Peter Baumgartner 0001, Ulrich Furbach |
Model Elimination Without Contrapositives. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
7 | Ulrich Furbach |
Theory Reasoning in First Order Calculi. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
7 | Matthias Baaz, Christian G. Fermüller |
Resolution for Many-Valued Logics. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
7 | Xumin Nie |
How Well Are Non-Horn Clauses Handled? |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
7 | Philippe Besnard, Pierre Siegel |
Supposition-Based Logic for Automated Nonmontonic Reasoning. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
7 | Lawrence C. Paulson |
A formulation of the simple theory of types (for Isabelle). |
Conference on Computer Logic |
1988 |
DBLP DOI BibTeX RDF |
|
7 | Stavros S. Cosmadakis, Paris C. Kanellakis |
Two Applications of Equational Theories to Database Theory. |
RTA |
1985 |
DBLP DOI BibTeX RDF |
|
7 | Ivan Hal Sudborough |
Time and Tape Bounded Auxiliary Pushdown Automata. |
MFCS |
1977 |
DBLP DOI BibTeX RDF |
|
7 | Clarence A. Ellis |
Consistency and Correctness of Duplicate Database Systems. |
SOSP |
1977 |
DBLP DOI BibTeX RDF |
|
7 | Zohar Manna |
Properties of Programs and the First-Order Predicate Calculus. |
J. ACM |
1969 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #85 of 85 (100 per page; Change: )
|
|