Search results for "Tableau"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri	Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.	ICICS	2008	DBLP DOI BibTeX RDF
10	Joanna Golinska-Pilarek, Ewa Orlowska	Tableaux and Dual Tableaux: Transformation of Proofs.	Stud Logica	2007	DBLP DOI BibTeX RDF	first-order logic with identity, tableaux systems, Rasiowa-Sikorski proof system
10	Claudio Pizzi	Necessity and Relative Contingency.	Stud Logica	2007	DBLP DOI BibTeX RDF	relative necessity, propositional constants, semantic tableaux, Contingency
10	Matteo Fischetti, Cristiano Saturni	Mixed-Integer Cuts from Cyclic Groups.	Math. Program.	2007	DBLP DOI BibTeX RDF	Subadditive cuts, Gomory cuts, Corner polyhedra, Mixed-Integer Programming, Cyclic Group
10	Martin Giese	Superposition-based Equality Handling for Analytic Tableaux.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	superposition rules, equality handling, analytic tableaux
10	Stefan Schlobach, Zhisheng Huang, Ronald Cornet, Frank van Harmelen	Debugging Incoherent Terminologies.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Debugging, Diagnosis, Description logics
10	Davide Bresolin, Angelo Montanari, Guido Sciavicco	An Optimal Decision Procedure for Right Propositional Neighborhood Logic.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	tableaux-based decision procedures, right propositional neighborhood logic, interval temporal logic
10	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Preferential Description Logics.	LPAR	2007	DBLP DOI BibTeX RDF
10	Richard Bonichon, David Delahaye, Damien Doligez	Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.	LPAR	2007	DBLP DOI BibTeX RDF
10	Matti Järvisalo, Emilia Oikarinen	Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs.	ICLP	2007	DBLP DOI BibTeX RDF
10	Martin Gebser, Torsten Schaub	Generic Tableaux for Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF
10	Lihui Lei, Zhenhua Duan	Automating Web Service Composition for Collaborative Business Processes.	CSCWD	2007	DBLP DOI BibTeX RDF
10	Roger Antonsen, Arild Waaler	A Labelled System for IPL with Variable Splitting.	CADE	2007	DBLP DOI BibTeX RDF
10	Peter Baumgartner 0001, Ulrich Furbach, Björn Pelzer	Hyper Tableaux with Equality.	CADE	2007	DBLP DOI BibTeX RDF
10	Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin 0005, Christopher Lynch, Ralph Eric McGregor	Encoding First Order Proofs in SAT.	CADE	2007	DBLP DOI BibTeX RDF
10	Nicolas Peltier	A Bottom-Up Approach to Clausal Tableaux.	TABLEAUX	2007	DBLP DOI BibTeX RDF
10	Max Goldman, Shmuel Katz	MAVEN: Modular Aspect Verification.	TACAS	2007	DBLP DOI BibTeX RDF
10	Tao Jia, Wen Zhao, Hanpin Wang, Lifu Wang	PrDLs: A New Kind of Probabilistic Description Logics About Belief.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Ontology, Knowledge Representation, Description Logics, Model-based Reasoning, Probabilistic, Reasoning under Uncertainty
10	Tao Jia, Wen Zhao, Lifu Wang	PrSH: A Belief Description Logic.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
10	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0.	AI*IA	2007	DBLP DOI BibTeX RDF
10	Ulrike Sattler	Reasoning in Description Logics: Basics, Extensions, and Relatives.	Reasoning Web	2007	DBLP DOI BibTeX RDF
10	Mohamed Mostafa Saleh, Mourad Debbabi	Verifying Security Properties of Cryptoprotocols: A Novel Approach.	SEFM	2007	DBLP DOI BibTeX RDF
10	Douglas Walton	Epistemic and Dialectical Models of Begging the Question.	Synth.	2006	DBLP DOI BibTeX RDF
10	Melvin Fitting	FOIL Axiomatized.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal logic, predicate abstraction, axiomatization, tableaux, intensional logic
10	Marcelo Finger, Dov M. Gabbay	Cut and Pay.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF
10	Joanna Golinska-Pilarek, Ewa Orlowska	Relational Logics and Their Applications.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
10	Andrea Formisano 0001, Eugenio G. Omodeo, Ewa Orlowska	An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF	translation methods, modal logic, Relational systems
10	Richard Bonichon, Olivier Hermant	A Semantic Completeness Proof for TaMeD.	LPAR	2006	DBLP DOI BibTeX RDF
10	Ralf Möller 0001, Volker Haarslev, Michael Wessel	On the Scalability of Description Logic Instance Retrieval.	KI	2006	DBLP DOI BibTeX RDF
10	Adolfo Gustavo Serra Seca Neto, Marcelo Finger	Effective Prover for Minimal Inconsistency Logic.	IFIP AI	2006	DBLP DOI BibTeX RDF
10	Nenad Krdzavac, Dragan Djuric, Vladan Devedzic	MDA-Based Architecture of a Description Logics Reasoner.	AIAI	2006	DBLP DOI BibTeX RDF
10	Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin	Description Logic Reasoning with Syntactic Updates.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
10	Egon Balas	Projection, Lifting and Extended Formulation in Integer and Combinatorial Optimization.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	sequential convexification, 0-1 programming, disjunctive programming, lift-and-project
10	Churn-Jung Liau	A modal logic framework for multi-agent belief fusion.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	belief fusion, multi-sources reasoning, multi-agent systems, belief revision, Epistemic logic, database merging
10	Matteo Fischetti, Cristiano Saturni	Mixed-Integer Cuts from Cyclic Groups.	IPCO	2005	DBLP DOI BibTeX RDF	Subadditive cuts, Gomory cuts, Gyclic Group and Corner polyhedra, Mixed-Integer Programming
10	Matteo Fischetti, Andrea Lodi 0001	Optimizing over the First Chvàtal Closure.	IPCO	2005	DBLP DOI BibTeX RDF	separation problems, Chvàtal-Gomory cuts, Integer Programs, computational analysis
10	Reiner Hähnle, Neil V. Murray, Erik Rosenthal	Normal Forms for Knowledge Compilation.	ISMIS	2005	DBLP DOI BibTeX RDF
10	Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima	Upside-Down Transformation in SOL/Connection Tableaux and Its Application.	ICTAC	2005	DBLP DOI BibTeX RDF
10	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Synthesis from Temporal Specifications Using Preferred Answer Set Programming.	ICTCS	2005	DBLP DOI BibTeX RDF
10	Alex Sinner, Thomas Kleemann	KRHyper - In Your Pocket.	CADE	2005	DBLP DOI BibTeX RDF
10	Philipp Correll, Gernot Stenz	Proof Output and Transformation for Disconnection Tableaux.	TABLEAUX	2005	DBLP DOI BibTeX RDF
10	Martin Giese	A Calculus for Type Predicates and Type Coercion.	TABLEAUX	2005	DBLP DOI BibTeX RDF
10	Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade	LoTREC: Logical Tableaux Research Engineering Companion.	TABLEAUX	2005	DBLP DOI BibTeX RDF
10	Ken Kaneiwa, Riichiro Mizoguchi	An Order-Sorted Quantified Modal Logic for Meta-ontology.	TABLEAUX	2005	DBLP DOI BibTeX RDF
10	Dino Distefano, Joost-Pieter Katoen, Arend Rensink	Safety and Liveness in Concurrent Pointer Programs.	FMCO	2005	DBLP DOI BibTeX RDF
10	Stefania Bandini, Alessandro Mosca 0001, Matteo Palmonari	A Hybrid Logic for Commonsense Spatial Reasoning.	AI*IA	2005	DBLP DOI BibTeX RDF
10	Peter Baumgartner 0001, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner	Living Book - Deduction, Slicing, and Interaction.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	knowledge management, e-learning, knowledge representation, theorem proving
10	Bruce Spencer, Sandy Liu	Inferring Data Transformation Rules to Integrate Semantic Web Services.	ISWC	2004	DBLP DOI BibTeX RDF
10	Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin	Working with Multiple Ontologies on the Semantic Web.	ISWC	2004	DBLP DOI BibTeX RDF
10	Benedikt Bollig, Martin Leucker	Verifying Qualitative Properties of Probabilistic Programs.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
10	Ricardo Miranda Zuñiga	Vagamundo: a migrant's tale.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	Ricardo Miranda, cantinflas, illegal immigrant, vagamundo, video game, interactive art, digital art, public art
10	Reinhold Letz, Gernot Stenz	Generalised Handling of Variables in Disconnection Tableaux.	IJCAR	2004	DBLP DOI BibTeX RDF
10	Yinglong Ma, Jun Wei 0001	A Default Extension to Distributed Description Logics.	IAT	2004	DBLP DOI BibTeX RDF
10	Stefano Aguzzoli	Uniform Description of Calculi for All t-Norm Logics.	ISMVL	2004	DBLP DOI BibTeX RDF
10	Rajeev Alur, Kousha Etessami, P. Madhusudan	A Temporal Logic of Nested Calls and Returns.	TACAS	2004	DBLP DOI BibTeX RDF
10	Laura Giordano 0001, Alberto Martelli	On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic.	TIME	2004	DBLP DOI BibTeX RDF
10	Stefan Schlobach	Explaining Subsumption by Optimal Interpolation.	JELIA	2004	DBLP DOI BibTeX RDF
10	Marcelo Finger	Polynomial Approximations of Full Propositional Logic via Limited Bivalence.	JELIA	2004	DBLP DOI BibTeX RDF
10	Xin Wang, Ji Wang 0001, Zhi-Chang Qi	Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.	FORTE	2004	DBLP DOI BibTeX RDF
10	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa	A Computational Model for Conversation Policies for Agent Communication.	CLIMA	2004	DBLP DOI BibTeX RDF
10	Dino Distefano, Joost-Pieter Katoen, Arend Rensink	Who is Pointing When to Whom?	FSTTCS	2004	DBLP DOI BibTeX RDF
10	Noriaki Yoshiura	Finding the Causes of Unrealizability of Reactive System Formal Specifications.	SEFM	2004	DBLP DOI BibTeX RDF
10	Andrzej Indrzejczak	A Labelled Natural Deduction System for Linear Temporal Logic.	Stud Logica	2003	DBLP DOI BibTeX RDF	Temporal Logic, Linear Time, Natural Deduction
10	Utz-Uwe Haus, Matthias Köppe, Robert Weismantel	A primal all-integer algorithm based on irreducible solutions.	Math. Program.	2003	DBLP DOI BibTeX RDF
10	Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt	Two Proof Systems for Peirce Algebras.	RelMiCS	2003	DBLP DOI BibTeX RDF
10	Calogero G. Zarba	Combining Sets with Elements.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
10	Christiano P. Pessanha, Rafael Santos-Mendes	Modal Logic and Dioids.	POSTA	2003	DBLP DOI BibTeX RDF
10	Peter Baumgartner 0001, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner	'Living Book': -'Deduction', 'Slicing', 'Interaction'.	CADE	2003	DBLP DOI BibTeX RDF
10	Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue	SOLAR: A Consequence Finding System for Advanced Reasoning.	TABLEAUX	2003	DBLP DOI BibTeX RDF
10	Claudio Gentile, Utz-Uwe Haus, Matthias Köppe, Giovanni Rinaldi, Robert Weismantel	A Primal Approach to the Stable Set Problem.	ESA	2002	DBLP DOI BibTeX RDF
10	Martin Lange, Colin Stirling	Model Checking Fixed Point Logic with Chop.	FoSSaCS	2002	DBLP DOI BibTeX RDF
10	Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer	A General Theorem Prover for Quantified Modal Logics.	TABLEAUX	2002	DBLP DOI BibTeX RDF
10	Balder ten Cate, Chung-chieh Shan	Question Answering: From Partitions to Prolog.	TABLEAUX	2002	DBLP DOI BibTeX RDF
10	Gernot Stenz	DCTP 1.2 - System Abstract.	TABLEAUX	2002	DBLP DOI BibTeX RDF
10	Martin Giese	A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition.	TABLEAUX	2002	DBLP DOI BibTeX RDF
10	Maria Sorea	A Decidable Fixpoint Logic for Time-Outs.	CONCUR	2002	DBLP DOI BibTeX RDF
10	Dimitra Giannakopoulou, Flavio Lerda	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.	FORTE	2002	DBLP DOI BibTeX RDF
10	Sandra de Amo, Walter Alexandre Carnielli, João Marcos 0001	A Logical Framework for Integrating Inconsistent Information in Multiple Databases.	FoIKS	2002	DBLP DOI BibTeX RDF
10	Andrei Voronkov	How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	theorem proving, modal logic, description logics, proof-search, inverse method
10	Hans de Nivelle	Splitting Through New Proposition Symbols.	LPAR	2001	DBLP DOI BibTeX RDF
10	Christian G. Fermüller, Georg Moser, Richard Zach	Tableaux for Reasoning About Atomic Updates.	LPAR	2001	DBLP DOI BibTeX RDF
10	Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann	Verifying Properties of Neural Networks.	IWANN (1)	2001	DBLP DOI BibTeX RDF
10	Stefan Brüning	Exploiting Conditional Equivalences in Connection Calculi.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
10	Jean-Philippe P. Richard, Ismael R. de Farias Jr., George L. Nemhauser	A Simplex-Based Algorithm for 0-1 Mixed Integer Programming.	Combinatorial Optimization	2001	DBLP DOI BibTeX RDF
10	László Aszalós, Andreas Herzig	Reasoning about Failure.	ESAW	2001	DBLP DOI BibTeX RDF
10	Frank S. de Boer, Rogier M. van Eijk	Decidable Navigation Logics for Object Structures.	CSL	2001	DBLP DOI BibTeX RDF
10	Kamel Adi, Mourad Debbabi, Mohamed Mejri	A New Logic for Electronic Commerce Protocols.	AMAST	2000	DBLP DOI BibTeX RDF
10	Andrei Voronkov	How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi.	LICS	2000	DBLP DOI BibTeX RDF
10	Edmund M. Clarke, Steven M. German, Yuan Lu 0004, Helmut Veith, Dong Wang	Executable Protocol Specification in ESL.	FMCAD	2000	DBLP DOI BibTeX RDF
10	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.	CAV	1999	DBLP DOI BibTeX RDF
10	Orna Kupferman, Moshe Y. Vardi	Model Checking of Safety Properties.	CAV	1999	DBLP DOI BibTeX RDF
10	Armin Biere, Edmund M. Clarke, Yunshan Zhu	Multiple State and Single State Tableaux for Combining Local and Global Model Checking.	Correct System Design	1999	DBLP DOI BibTeX RDF
10	Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar	Decision Procedure for Temporal Logic of Concurrent Objects.	Euro-Par	1999	DBLP DOI BibTeX RDF
10	Hardi Hungar	Model Checking and Higher-Order Recursion.	MFCS	1999	DBLP DOI BibTeX RDF
10	Linh Anh Nguyen	A New Space Bound for the Modal Logics K4, KD4 and S4.	MFCS	1999	DBLP DOI BibTeX RDF
10	Christof Monz	Contextual Inference in Computational Semantics.	CONTEXT	1999	DBLP DOI BibTeX RDF
10	Chiara Ghidini	Modelling (Un)Bounded Beliefs.	CONTEXT	1999	DBLP DOI BibTeX RDF
10	Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu	Symbolic Model Checking without BDDs.	TACAS	1999	DBLP DOI BibTeX RDF
10	Guido Governatori, Alessandro Luppi	Labelled Tableaux for Non-normal Modal Logics.	AI*IA	1999	DBLP DOI BibTeX RDF
10	Beata Konikowska	Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics.	WADT	1998	DBLP DOI BibTeX RDF