Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Validating real-time systems by history-checking TRIO specifications
ICSE '92 Proceedings of the 14th international conference on Software engineering
Rounding errors in certain algorithms involving Markov chains
ACM Transactions on Mathematical Software (TOMS)
A Practical Methodology for the Formal Verification of RISC Processors
Formal Methods in System Design
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Journal of Automated Reasoning
Review of type-logical semantics
ACM SIGACT News
Critical Agents Supporting Interactive Theorem Proving
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Binding Logic: Proofs and Models
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Combinators for Paraconsistent Attitudes
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Higher-Order Computational Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Using Decision Procedures with a Higher-Order Logic
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Partial Functions in an Impredicative Simple Theory of Types
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
HOL-OCL: Experiences, Consequences and Design Choices
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Higher-Order Positive Set Constraints
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Decidability of Bounded Higher-Order Unification
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Extensional Higher-Order Paramodulation and RUE-Resolution
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Handbook of automated reasoning
Higher-order unification and matching
Handbook of automated reasoning
Smoothness, ruggedness and neutrality of fitness landscapes: from theory to application
Advances in evolutionary computing
HOL-λσ: an intentional first-order expression of higher-order logic
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Categorial Grammar and Discourse Representation Theory
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
A computational treatment of Korean temporal markers, OE and DONGAN
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 2
Dependent ML An approach to practical programming with dependent types
Journal of Functional Programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
A formal theory of intermediate quantifiers
Fuzzy Sets and Systems
A Hoare Logic for Call-by-Value Functional Programs
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Comments on temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Probabilistic modelling, inference and learning using logical theories
Annals of Mathematics and Artificial Intelligence
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Automated deduction for verification
ACM Computing Surveys (CSUR)
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Equality elimination for the inverse method and extension procedures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
How to prove higher order theorems in first order logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Decidability of bounded higher-order unification
Journal of Symbolic Computation
Partial and Nested Recursive Function Definitions in Higher-order Logic
Journal of Automated Reasoning
Using theory morphisms for implementing formal methods tools
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Test-sequence generation with Hol-TestGen with an application to firewall testing
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Grammar Induction by Unification of Type-logical Lexicons
Journal of Logic, Language and Information
Path-focused duplication: a search procedure for general matings
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Proofs, proofs, proofs, and proofs
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
Stratified context unification is NP-complete
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Towards self-verification of HOL light
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Interactive testing with HOL-TestGen
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions
Theoretical Computer Science
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
| Hi-index | 0.00 |