Search results for "Automated reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil	MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.	IJCAR	2008	DBLP DOI BibTeX RDF
3	Shang-Ching Chou, Xiao-Shan Gao	Automated Reasoning in Geometry.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm	Automated Reasoning for Relational Probabilistic Knowledge Representation.	IJCAR	2010	DBLP DOI BibTeX RDF
2	Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest	A3PAT, an approach for certified automated termination proofs.	PEPM	2010	DBLP DOI BibTeX RDF	termination, term rewriting, automated reasoning, formal proof
2	Konstantin Korovin	Instantiation-Based Automated Reasoning: From Theory to Practice.	CADE	2009	DBLP DOI BibTeX RDF
2	Angelo Nuzzo, Alberto Riva, Mario Stefanelli, Riccardo Bellazzi	An Architecture for Automated Reasoning Systems for Genome-Wide Studies.	AIME	2009	DBLP DOI BibTeX RDF	Genome-wide studies, reasoning models, decision support system
2	Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos	Formal Validation of OFEPSP+ with AVISPA.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF	AVISPA, security protocol, Fair exchange, SPAN, formal validation
2	Franz Baader, Andreas Bauer 0002, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter	A Novel Architecture for Situation Awareness Systems.	TABLEAUX	2009	DBLP DOI BibTeX RDF
2	Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch	A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
2	Timothy L. Hinrichs	Collaborative Programming: Applications of Logic and Automated Reasoning.	PAAR/ESHOL	2008	DBLP BibTeX RDF
2	John K. Slaney	Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk).	PAAR/ESHOL	2008	DBLP BibTeX RDF
2	Alessandro Armando	Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk).	PAAR/ESHOL	2008	DBLP BibTeX RDF
2	Peter Höfner	Automated Reasoning for Hybrid Systems - Two Case Studies -.	RelMiCS	2008	DBLP DOI BibTeX RDF
2	Geoff Sutcliffe	CASC-J4 The 4th IJCAR ATP System Competition.	IJCAR	2008	DBLP DOI BibTeX RDF
2	Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne	A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor.	POLICY	2008	DBLP DOI BibTeX RDF	formal policy processing, ontologies, automated reasoning
2	Jian Zhang 0001, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu	Basic research in computer science and software engineering at SKLCS.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	human-computer interaction, real-time system, parallel algorithms, middleware, formal specification, computer graphics, software process, automated reasoning, concurrency theory
2	Swen Jacobs, Uwe Waldmann	Comparing Instance Generation Methods for Automated Reasoning.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	disconnection calculus, primal partial instantiation, resolution-based instance generation, theorem proving, automated reasoning
2	David Crocker, Judith Carlton	Verification of C Programs Using Automated Reasoning.	SEFM	2007	DBLP DOI BibTeX RDF
2	Josef Urban	MaLARea: a Metasystem for Automated Reasoning in Large Theories.	ESARLT	2007	DBLP BibTeX RDF
2	Viorica Sofronie-Stokkermans, Carsten Ihlemann	Automated Reasoning in Some Local Extensions of Ordered Structures.	ISMVL	2007	DBLP DOI BibTeX RDF
2	Jun Liu, Luis Martinez Lopez, Yang Xu, Zhirui Lu	Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic.	ISMVL	2007	DBLP DOI BibTeX RDF
2	Mustafa Jarrar	Towards Automated Reasoning on ORM Schemes.	ER	2007	DBLP DOI BibTeX RDF
2	John Harrison	A Short Survey of Automated Reasoning.	AB	2007	DBLP DOI BibTeX RDF
2	Norbert E. Fuchs, Rolf Schwitter	Web-Annotations for Humans and Machines.	ESWC	2007	DBLP DOI BibTeX RDF	Semantic Web, Annotations, Question Answering, Automated Reasoning, Controlled Natural Languages
2	Wen-Tsun Wu, Xiao-Shan Gao	Automated Reasoning and Equation Solving with the Characteristic Set Method.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	characteristic set method, automated reasoning, difference equation, first order theory
2	Peter Baumgartner, Fabian M. Suchanek	Automated Reasoning Support for First-Order Ontologies.	PPSWR	2006	DBLP DOI BibTeX RDF
2	Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev	Automated Reasoning About Metric and Topology.	JELIA	2006	DBLP DOI BibTeX RDF
2	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton	Automatic Construction and Verification of Isotopy Invariants.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Bruno Buchberger	Mathematical Theory Exploration.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Jürgen Zimmer, Serge Autexier	The MathServe System for Semantic Web Reasoning Services.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	Specifying and Reasoning About Dynamic Access-Control Policies.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Lionel Paris, Belaid Benhamou, Pierre Siegel	A Boolean Encoding Including SAT and n-ary CSPs.	AIMSA	2006	DBLP DOI BibTeX RDF	Logic and constraint programming, Automated reasoning, Knowledge representation and reasoning
2	Freddy Lécué, Alain Léger	A Formal Model for Semantic Web Service Composition.	International Semantic Web Conference	2006	DBLP DOI BibTeX RDF	Automated composition, Web service, Semantic Web, Automated reasoning, AI planning
2	Swen Jacobs, Uwe Waldmann	Comparing Instance Generation Methods for Automated Reasoning.	TABLEAUX	2005	DBLP DOI BibTeX RDF
2	Hans Jürgen Ohlbach	Automated Reasoning in the Context of the Semantic Web.	TABLEAUX	2005	DBLP DOI BibTeX RDF
2	Larry Wos	The Flowering of Automated Reasoning.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
2	Joaquín Borrego-Díaz, Antonia M. Chávez-González	Extension of Ontologies Assisted by Automated Reasoning Systems.	EUROCAST	2005	DBLP DOI BibTeX RDF
2	Carmen Graciani Díaz, Mario J. Pérez-Jiménez	Using Automated Reasoning Systems on Molecular Computing.	DNA	2004	DBLP DOI BibTeX RDF
2	Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese	Synthesis of underspecified composite e-services based on automated reasoning.	ICSOC	2004	DBLP DOI BibTeX RDF	intelligent services, service composition models and language, theoretical framework for service representation and compositions
2	François Fages	Automated Reasoning Tools for Molecular Biology.	KI	2004	DBLP DOI BibTeX RDF
2	Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland	Automatic Generation of Classification Theorems for Finite Algebras.	IJCAR	2004	DBLP DOI BibTeX RDF
2	Sheila A. McIlraith	Invited talk: towards declarative programming for web services.	PEPM	2004	DBLP DOI BibTeX RDF	ontologies, web services, semantic web, OWL, web service composition, automated reasoning
2	Paolo Bouquet, Luciano Serafini, Stefano Zanobini	Coordinating Semantic Peers.	AIMSA	2004	DBLP DOI BibTeX RDF	Information retrieval, Semantic Web, Automated Reasoning, Semantic Interoperability
2	Dan Corbett	Interoperability of Ontologies Using Conceptual Graph Theory.	ICCS	2004	DBLP DOI BibTeX RDF	knowledge servers, ontology, knowledge representation, automated reasoning
2	Jerusa Marchi, Guilherme Bittencourt	Propositional Reasoning for an Embodied Cognitive Model.	SBIA	2004	DBLP DOI BibTeX RDF	knowledge representation, cognitive modeling, automated reasoning
2	Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann	Optimizing the Evaluation of XPath Using Description Logics.	INAP/WLP	2004	DBLP DOI BibTeX RDF	XML, Description Logics, XPath, automated reasoning, Schema, DTD
2	Richard Sommer, Gregory Nuckols	A Proof Environment for Teaching Mathematics.	J. Autom. Reasoning	2004	DBLP DOI BibTeX RDF	EPGY Theorem Proving Environment, computer-based learning, automated reasoning
2	Susumu Yamasaki, Mariko Sasakura	An automated reasoning for diagnostic knowledge in a distributed environment.	ISICT	2003	DBLP DOI BibTeX RDF
2	Srini Narayanan, Sheila A. McIlraith	Simulation, verification and automated composition of web services.	WWW	2002	DBLP DOI BibTeX RDF	ontologies, web services, distributed systems, semantic web, web service composition, automated reasoning, DAML
2	Xiao-Shan Gao, Qiang Lin	MMP/Geometer - A Software Package for Automated Geometric Reasoning.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF	Geometry software, geometric theorem discovering, geometric diagram generation, intelligent dynamic geometry, automated reasoning, geometric theorem proving
2	Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde	Restricted Delta-Trees in Multiple-Valued Logics.	AIMSA	2002	DBLP DOI BibTeX RDF	Knowledge Representation, Automated Reasoning
2	Jeremy E. Dawson, Rajeev Goré	Machine-Checking the Timed Interval Calculus.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Reasoning about time, theorem proving, automated reasoning
2	Gilles Dowek	Higher-Order Unification and Matching.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Andreas Nonnengart, Christoph Weidenbach	Computing Small Clause Normal Forms.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Martin Davis	The Early History of Automated Deduction.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Henk Barendregt, Herman Geuvers	Proof-Assistants Using Dependent Type Systems.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Anatoli Degtyarev, Andrei Voronkov	The Inverse Method.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Reinhold Letz, Gernot Stenz	Model Elimination and Connection Tableau Procedures.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Frank Pfenning	Logical Frameworks.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi	Reasoning in Expressive Description Logics.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Leo Bachmair, Harald Ganzinger	Resolution Theorem Proving.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Jürgen Dix, Ulrich Furbach, Ilkka Niemelä	Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Peter B. Andrews	Classical Type Theory.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Christoph Weidenbach	Combining Superposition, Sorts and Splitting.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Robert Nieuwenhuis, Albert Rubio	Paramodulation-Based Theorem Proving.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Edmund M. Clarke, Bernd-Holger Schlingloff	Model Checking.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Anatoli Degtyarev, Andrei Voronkov	Equality Reasoning in Sequent-Based Calculi.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Franz Baader, Wayne Snyder	Unification Theory.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Alexander Bockmayr, Volker Weispfenning	Solving Numerical Constraints.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	I. V. Ramakrishnan, R. C. Sekar, Andrei Voronkov	Term Indexing.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	John Alan Robinson, Andrei Voronkov	Preface.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Alan Bundy	The Automation of Proof by Mathematical Induction.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Nachum Dershowitz, David A. Plaisted	Rewriting.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Arild Waaler	Connections in Nonclassical Logics.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay	Encoding Two-Valued Nonclassical Logics in Classical Logic.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Matthias Baaz, Uwe Egly, Alexander Leitsch	Normal Form Transformations.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Hubert Comon	Inductionless Induction.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet	Resolution Decision Procedures.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Matthias Baaz, Christian G. Fermüller, Gernot Salzer	Automated Deduction for Many-Valued Logics.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Reiner Hähnle	Tableaux and Related Methods.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
2	Jürgen Giesl, Deepak Kapur	Decidable Classes of Inductive Theorems.	IJCAR	2001	DBLP DOI BibTeX RDF
2	Franz Baader, Stephan Tobies	The Inverse Method Implements the Automata Approach for Modal Satisfiability.	IJCAR	2001	DBLP DOI BibTeX RDF
2	Zili Zhang, Chengqi Zhang	Reasoning with Multimedia Information Using Symbolic Projection.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF	Symbolic Projection, Multimedia, Spatial Reasoning, Automated Reasoning, Geometric Reasoning
2	Lucas Bordeaux, Frédéric Benhamou	Automated reasoning on monotonic constraints.	ICTAI	2000	DBLP DOI BibTeX RDF	monotonic constraints, consistency techniques, inference mechanisms, automated reasoning, constraint handling
2	Taghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom	Modeling software quality: the Software Measurement Analysis and Reliability Toolkit.	ICTAI	2000	DBLP DOI BibTeX RDF	Software Measurement Analysis and Reliability Toolkit, reliability enhancement activities, high risk modules, automated reasoning processes, CBR systems, CBR classification, module-order models, rank-order, military command control and communications, software developers, software tools, software quality, software metrics, software reliability, cluster analysis, case-based reasoning, case based reasoning, software performance evaluation, software product, life cycle, software quality modeling, software quality models, fault predictions, process metrics, SMART, fault prone modules, quality factor, classification models, command and control systems, research tool
2	Gonzalo Escalada-Imaz	A Temporal Many-Valued Logic for Real Time Control Systems.	AIMSA	2000	DBLP DOI BibTeX RDF	Computational Complexity, Real Time, Temporal Reasoning, Automated Reasoning, Control Systems, Many-valued Logic
2	Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez	Complexity Issues in the Davis and Putnam Scheme.	AIMSA	2000	DBLP DOI BibTeX RDF	Computational Complexity, Search, Theorem Proving, Automated Reasoning
2	Fabio Massacci	Automated Reasoning and the Verification of Security Protocols.	TABLEAUX	1999	DBLP DOI BibTeX RDF
2	Robert J. Hall	Reactive System Validation using Automated Reasoning over a Fragment Library. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys
2	Christopher A. Welty	Augmenting Abstract Syntax Trees for Program Understanding. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	low-level searches, information delocalization, code-level knowledge representation, software information systems, reverse engineering, software maintenance, documentation, program understanding, source code, automated reasoning, discovery, abstract syntax trees
2	Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino	Informational Logic for Automated Reasoning.	JELIA	1996	DBLP DOI BibTeX RDF
2	Victor L. Winter, James M. Boyle	Proving refinement transformations for deriving high-assurance software. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification
2	Peter E. Lauer (eds.)	Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP BibTeX RDF
2	Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels	The EVES System.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
2	Douglas J. Howe	Reasoning About Functional Programs in Nuprl.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
2	John H. Reppy	Concurrent ML: Design, Application and Semantics.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
2	Timothy C. Winkler	Programming in OBJ and Maude.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
2	Peter E. Lauer	On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
2	Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen	Specification and Simulation with ExSpect.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
2	John Ophel	An Introduction to the High-Level Language Standard ML.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF