Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
A preliminary excursion into step-logics
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
A plausibility-driven approach to computer architecture design
Communications of the ACM
Two undergraduate courses in the theory of computation
ACM SIGCSE Bulletin
Thesaurus based concept spaces
SIGIR '87 Proceedings of the 10th annual international ACM SIGIR conference on Research and development in information retrieval
Systems semantics: principles, applications, and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards an efficient evaluation of general queries: quantifier and disjunction processing revisited
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Polymorphism and type checking in object-oriented languages
ACM SIGPLAN Notices
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
A computing unit for FFP function evaluation in support of correctness proofs
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
A deductive method for entity-relationship modeling
VLDB '89 Proceedings of the 15th international conference on Very large data bases
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Nonmonotonic default modal logics
Journal of the ACM (JACM)
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Validating real-time systems by history-checking TRIO specifications
ICSE '92 Proceedings of the 14th international conference on Software engineering
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
“Dynamic” inferencing with generalized resolution
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Study of Theoretical Issues in the Synthesis of Delay Fault Testability Circuits
IEEE Transactions on Computers
Some Completeness Results in the Mathematical Theory of Computation
Journal of the ACM (JACM)
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
Journal of the ACM (JACM)
Formalization of Properties of Functional Programs
Journal of the ACM (JACM)
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
Journal of the ACM (JACM)
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results
Journal of the ACM (JACM)
Information-Theoretic Limitations of Formal Systems
Journal of the ACM (JACM)
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
Journal of the ACM (JACM)
Verification Decidability of Presburger Array Programs
Journal of the ACM (JACM)
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
Journal of the ACM (JACM)
The locality principle and completeness in logic programming
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
A theory of nonmonotonic planning
CSC '91 Proceedings of the 19th annual conference on Computer Science
A unifying logic-based formalism for semantic data models
CSC '91 Proceedings of the 19th annual conference on Computer Science
Supertotal Function Definition in Mathematics and Software Engineering
IEEE Transactions on Software Engineering
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A critique of the foundations of Hoare style programming logics
Communications of the ACM
An algorithm for reasoning about equality
Communications of the ACM
A stochastic evaluation model for database organizations in data retrieval systems
Communications of the ACM
Toward automatic program synthesis
Communications of the ACM
Another recursion induction principle
Communications of the ACM
An undergraduate program in computer science—preliminary recommendations
Communications of the ACM
Maple's evaluation process as constraint contextual rewriting
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Optimization of imprecise decision tables
ACM-SE 18 Proceedings of the 18th annual Southeast regional conference
A formal foundation for process modeling
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
The relational data file and the decision problem for classes of proper formulas
SIGIR '71 Proceedings of the 1971 international ACM SIGIR conference on Information storage and retrieval
A complete and consistent hoare axiomatics for a simple programming language
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A logic for modeling the dynamics of beliefs in cryptographic protocols
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Automated reasoning with function evaluation for COCOLOG
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
On Stochastic Conditional Independence: the Problems of Characterization and Description
Annals of Mathematics and Artificial Intelligence
Boolean Models of Reflexive Choice Control
Automation and Remote Control
Boolean Algebra as a Fragment of the Theory of Boolean Toposes
Cybernetics and Systems Analysis
Applicative Compositions of Partial Predicates
Cybernetics and Systems Analysis
T-Resolution: Refinements and Model Elimination
Journal of Automated Reasoning
STMM: A Set Theory for Mechanized Mathematics
Journal of Automated Reasoning
A Legacy Recalled and a Tradition Continued
Journal of Automated Reasoning
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
Representation Operators and Computation
Minds and Machines
On the Relationship between Foundations of Programming and Mathematics
Programming and Computing Software
Design and Implementation of a Semantic Query Optimizer
IEEE Transactions on Knowledge and Data Engineering
Responses to Elkan (Ronald R. Yager)
IEEE Expert: Intelligent Systems and Their Applications
Predicate Logic for Software Engineering
IEEE Transactions on Software Engineering
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
Checking Consistency of Database Constraints: a Logical Basis
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
On the Properties of Extended Inclusion Dependencies
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
An Effective Deductive Object-Oriented Database Through Language Integration
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
The Logic of Authentication Protocols
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Semantics of Partial-Order Programs
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Relating Z and First-Order Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Propositional calculus under adjointness
Fuzzy Sets and Systems - Possibility theory and fuzzy logic
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
A case for teaching program verification: Its importance in the CS curriculum
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Formalization of properties of recursively defined functions
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
An overview of Knowledge Representation
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
The use of theorem-proving techniques in question-answering systems
ACM '68 Proceedings of the 1968 23rd ACM national conference
A model for the evaluation of large scale data retrieval systems
WSC '74 Proceedings of the 7th conference on Winter simulation - Volume 1
From type inference to configuration
The essence of computation
Proceedings of the 2003 ACM symposium on Document engineering
Evidential Paradigm: The Logical Aspect
Cybernetics and Systems Analysis
Un outil multidimensionnel de l'analyse du discours
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Déduction automatique et systèmes transformationnels
COLING '86 Proceedings of the 11th coference on Computational linguistics
A formalization of Myers cause-effect graphs for unit testing
ACM SIGSOFT Software Engineering Notes
A compositional logic for polymorphic higher-order functions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
From process logic to program logic
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
On confluence and residuals in Cauchy convergent transfinite rewriting
Information Processing Letters
A first order theory of planning, knowledge, and action
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Yin Yang bipolar logic and bipolar fuzzy logic
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Informatics and computer science intelligent systems applications
Encyclopedia of Computer Science
Relational analysis of algebraic datatypes
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A logical analysis of aliasing in imperative higher-order functions
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
A pattern for generating extended truth tables using Java
Journal of Computing Sciences in Colleges
Visualization and semantic analysis of geographic metadata
Proceedings of the 2005 workshop on Geographic information retrieval
Supporting meetings with a goal-driven service-oriented multimedia environment
Proceedings of the first ACM international workshop on Multimedia service composition
State space representation of routing flexibility
Computers and Industrial Engineering
From requirements to specifications: a formal approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Methods and limitations of security policy reconciliation
ACM Transactions on Information and System Security (TISSEC)
Contexts as communicating theories
AI Communications
Minimum-cost network hardening using attack graphs
Computer Communications
Default theories over monadic languages
Theoretical Computer Science - Logic, language, information and computation
Characterizing and reasoning about probabilistic and non-probabilistic expectation
Journal of the ACM (JACM)
Automated compositional proofs for real-time systems
Theoretical Computer Science
Updates in answer set programming: An approach based on basic structural properties
Theory and Practice of Logic Programming
A logical analysis of aliasing in imperative higher-order functions
Journal of Functional Programming
Languages of logic and their applications
Computers & Mathematics with Applications
A conceptual approach to teaching induction for computer science
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Journal of Computer and System Sciences
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
Computational complexity of sentences over fields
Information and Computation
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning
Journal of Logic, Language and Information
On the paralogicality of some logical constructs
Cybernetics and Systems Analysis
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Inclusion dynamics hybrid automata
Information and Computation
Hierarchical Classifiers for Complex Spatio-temporal Concepts
Transactions on Rough Sets IX
Definability in Logic and Rough Set Theory
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Induction as a tool for conceptual coherence in computer science
Proceedings of the 46th Annual Southeast Regional Conference on XX
A logic for reasoning about upper probabilities
Journal of Artificial Intelligence Research
An algorithm for reasoning about equality
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A proof-checker for dynamic logic
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
An introduction to nonmonotonic logic
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Properties of a relational framework synthesized over a set of semantically atomic predicates
Cybernetics and Systems Analysis
Defining the meaning of tabular mathematical expressions
Science of Computer Programming
A theory of design-by-contract for distributed multiparty interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
An application of clasp in the study of logics
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Descriptive and relative completeness of logics for higher-order functions
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Logiweb: a system for web publication of mathematics
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Some transfinite generalisations of gödel's incompleteness theorem
WTCS'12 Proceedings of the 2012 international conference on Theoretical Computer Science: computation, physics and beyond
Modeling local belief revision in a dynamic reasoning system
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Effective computation of immersion obstructions for unions of graph classes
SWAT'12 Proceedings of the 13th Scandinavian conference on Algorithm Theory
Representing fuzzy logic programs by graded attribute implications
MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence
Effective computation of immersion obstructions for unions of graph classes
Journal of Computer and System Sciences
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
| Hi-index | 0.12 |