Search results for "proof-procedures"

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