Tags
- 15 August
- 3–4 defense
- 50 Years
- 7
- A
- Abstraction
- Abstractions
- Acausal
- Accept
- Addison-Wesley
- Algebraic
- Algebraic manipulation
- Algebraic manipulations
- Algorithm
- Algorithms
- Alonzo Church
- An
- Analytica
- And then
- Anniversary
- Answer
- Answers
- Answer set programming
- APL
- Appeal
- Application
- Archive
- Artificial
- Artificial Intelligence
- A series
- ASP
- Aspect
- Aspects
- Assignment
- Association
- Association for computing machinery
- Back end
- Backward chaining
- Backwards
- Based on
- Beginning
- Behavior
- Being
- Berlin
- Block
- Boolean satisfiability problem
- Boon Thau
- Boston
- Bottom-up
- Boundaries
- Broad
- Bruce Eds
- Building block
- Calculus
- Calling
- Cambridge
- Cambridge University
- Cambridge University Press
- Capital punishment
- Cham Pp
- Characterized
- Chitta
- Church
- Church's
- Citizens
- Cloud
- Cloud computing
- Code
- Code snippet
- Codification
- Colón
- Combine
- Command
- Common Lisp
- Comparative
- Compiler-compiler
- Complement
- Composition
- Compound
- Computation
- Compute!
- Computer
- Computer Science
- Computing
- Computing machinery
- Concept
- Concepts
- Configuration Management
- Congress
- Consequence
- Consistency
- Consolation
- Constant
- Constants
- Constraint
- Constraint programming
- Containment
- Context
- Context free
- Context-free grammar
- Contrast
- Control flow
- Convention
- Correspondence
- Criterion
- Dahl
- Data
- Database
- Database query languages
- Data integration
- Datalog
- Declarative
- Declarative programming
- Declare
- Deduction
- Defined
- Definition
- Definitions
- Dependency
- Derive
- Description
- Desired
- Dialect
- Digital
- Divergence
- Doctorate
- D.O.E.
- Domain
- Domain specificity
- Domain-specific language
- Donald Kuehner
- DPLL
- DPLL algorithm
- DSL
- Edinburgh
- Effect
- Eisner
- Eiter
- Elements
- Eliminate
- Elsevier
- Emerging
- Emphasis
- Environment
- Environments
- Equation
- Erlang
- Establishment
- Evaluation
- Execute
- Execution
- Existence
- Explicit
- Express
- Expression
- Expressions
- Extensible Application Markup Language
- Extraction
- Facility
- Fact
- Factorial
- Facts
- Families
- First Class
- First-class citizen
- First-order logic
- Following
- Follows
- Forever Changed
- Formal
- Formalism
- Free On-line Dictionary of Computing
- Functional
- Functional programming
- Function application
- Generate
- Generator
- Goal
- Grammar
- Greece
- Grounding
- Guide
- Handbook
- Harmelen
- Hermenegild
- Higher-order
- Higher-order function
- Highlight
- Hol
- Holland Publishing
- Hongyuan
- Host
- HTML
- Humboldt University of Berlin
- Identified
- Imperative
- Imperative programming
- Implement
- Implementation
- Include
- Includes
- Information extraction
- Informed
- Input
- Inspired
- .int
- Integration
- Intelligence
- Interaction
- Interactions
- Interface
- International Conference on Machine Learning
- International Federation for Information Processing
- International Standard Book Number
- International Standard Serial Number
- Introduction
- Itself
- J
- Knowledge representation and reasoning
- Kowalski
- Lambda
- Lambda calculus
- Language
- LCF
- Lecture
- Lecture notes
- Lecture Notes in Computer Science
- Lifshitz
- Linear
- Lisp
- Listing
- Logic
- Logical consequence
- Logical disjunction
- Logical Form
- Logic programming
- Loo Boon
- Lucy Prebble
- M
- Machine
- Machinery
- Makefile
- Manipulation
- Map
- Mapping
- Mappings
- Markup
- Markup language
- Massively
- Massively parallel
- Mathematical logic
- Mathematical notation
- Mathematics
- Maximum
- Meta' language
- Minimisation
- Mixture
- Model
- Modelica
- Modeling
- Modeling language
- Modeling systems
- Models
- Modus ponens
- Most
- Multi-core processor
- Multiprocessing
- MXML
- N
- Namespace
- Natural
- Natural language
- Nesting
- Networking
- Neural
- New
- Next
- Nintendocore
- No
- North Holland
- Notation
- Note
- Number
- Numbers
- Object
- OCaml
- OCLC
- Old
- Only
- Ontario Highway 11
- Ontario Highway 23
- Ontario Highway 7
- Oriented
- Origin
- Origins
- Output
- Overlap
- Overview
- P
- Paradigm
- Parallel execution
- Parameter
- Parse
- Parser
- Perform
- Performance
- Phase transition
- Physical
- Physical system
- Place
- Places
- Porter Bruce
- PP
- Pragmatism
- Predicate
- Principle
- Problem domain
- Problem solving
- Procedural
- Procedural programming
- Procedure
- Proceedings
- Programming
- Programming language
- Programming paradigm
- Programming style
- Prolog
- Proof theory
- Properties
- Proposition
- Publishing
- Puppet
- Pure
- Purely functional
- Purely functional programming
- QML
- Query
- Query language
- Question
- R
- Racket
- Range
- Recursion
- Recursive definition
- Reduce
- Reducing
- Regular expression
- Relation
- Relationship
- Rendering
- Replacement
- Representation
- Representational state transfer
- Representations
- Resolution
- Result
- Returns
- Return type
- Scheme
- Science
- Search
- Search problem
- Security
- Select
- Selection
- Semantics
- Semantics of logic
- Sentence
- Sentences
- Sequencing
- Serie A
- Server
- Set
- Sets
- Short
- Side Effects
- SIGMOD
- Simplification
- SLD
- SLD resolution
- Snippet
- Software
- Solution
- Solve
- Solved
- Solver
- Some
- Source code
- Space
- Specification
- Specification language
- Springer
- SQL
- Square
- Square number
- Stable
- Stable model semantics
- Stand
- Stands
- Steps
- Stockholm
- Strategy
- Structure
- Style
- Subset
- Substance
- Substitution
- Success
- Syntax
- Systems
- T14
- Target
- Technical University of Berlin
- Technische Hochschule
- Temporal
- Term
- Terminate
- Terms
- Thau
- The beginning
- The Criterion
- The Definition
- The first
- The Make
- Then
- The Origin
- Theory
- Thesis
- The state
- The Wayback Machine
- Third
- Top Down
- Toy block
- Traditional
- Train
- Transfer
- Transform
- Treat
- Treats
- Turing completeness
- Type system
- Typing
- Umbrella
- Umbrella term
- Unified
- Universität
- University
- University of Edinburgh
- University press
- User interface
- User interface markup language
- Uses
- Utility
- V
- Variable
- Variety
- Via
- Vol
- Warren Ds
- Wayback
- Wayback Machine
- Web page
- Web service
- Well known
- What
- When
- Wikipedia
- Winter
- Workshop
- XML
- XML namespace
- XQuery
- XSLT
- Yacc