People and topics related to Logic
People and topics related to Logic
clare dixon
Clare
Dixon
Verification
Verification
clare dixon--Verification
Automated reasoning
Automated reasoning
clare dixon--Automated reasoning
Modal logic
Modal logic
clare dixon--Modal logic
Symbolic AI
Symbolic AI
clare dixon--Symbolic AI
Autonomous systems
Autonomous systems
clare dixon--Autonomous systems
Reliability, robustness and trust
Reliability, robustness and trust
clare dixon--Reliability, robustness and trust
Swarm robotics
Swarm robotics
clare dixon--Swarm robotics
renate schmidt
Renate
Schmidt
renate schmidt--Automated reasoning
renate schmidt--Modal logic
Description logic
Description logic
renate schmidt--Description logic
Semantic web
Semantic web
renate schmidt--Semantic web
AI in health
AI in health
renate schmidt--AI in health
Logic
Logic
renate schmidt--Logic
Artificial intelligence
Artificial intelligence
renate schmidt--Artificial intelligence
Knowledge representation and reasoning
Knowledge representation and reasoning
renate schmidt--Knowledge representation and reasoning
Ontology engineering
Ontology engineering
renate schmidt--Ontology engineering
Mathematics
Mathematics
renate schmidt--Mathematics
Algebra
Algebra
renate schmidt--Algebra
Ontology (information science)
Ontology (information science)
renate schmidt--Ontology (information science)
konstantin korovin
Konstantin
Korovin
konstantin korovin--Verification
konstantin korovin--Automated reasoning
konstantin korovin--Symbolic AI
konstantin korovin--Logic
konstantin korovin--Artificial intelligence
konstantin korovin--Mathematics
Machine learning
Machine learning
konstantin korovin--Machine learning
Optimisation
Optimisation
konstantin korovin--Optimisation
Theorem proving
Theorem proving
konstantin korovin--Theorem proving
Formal methods
Formal methods
konstantin korovin--Formal methods
Symbolic computation
Symbolic computation
konstantin korovin--Symbolic computation
DNA computing
DNA computing
konstantin korovin--DNA computing
SAT/SMT/theorem provers
SAT/SMT/theorem provers
konstantin korovin--SAT/SMT/theorem provers
iProver
iProver
konstantin korovin--iProver
OCaml
OCaml
konstantin korovin--OCaml
uli sattler
Uli
Sattler
uli sattler--Automated reasoning
uli sattler--Modal logic
uli sattler--Symbolic AI
uli sattler--Description logic
uli sattler--Logic
uli sattler--Knowledge representation and reasoning
uli sattler--Ontology engineering
uli sattler--Mathematics
uli sattler--Ontology (information science)
Computers in the classroom
Computers in the classroom
uli sattler--Computers in the classroom
Knowledge Representation and reasoning
Knowledge Representation and reasoning
uli sattler--Knowledge Representation and reasoning
Semantic Web
Semantic Web
uli sattler--Semantic Web
Web Ontology Language
Web Ontology Language
uli sattler--Web Ontology Language
Protege (software)
Protege (software)
uli sattler--Protege (software)
andrea schalk
Andrea
Schalk
andrea schalk--Logic
andrea schalk--Mathematics
Modelling biological systems
Modelling biological systems
andrea schalk--Modelling biological systems
Cellular automaton
Cellular automaton
andrea schalk--Cellular automaton
Model of computation
Model of computation
andrea schalk--Model of computation
Blended learning
Blended learning
andrea schalk--Blended learning
Denotational semantics
Denotational semantics
andrea schalk--Denotational semantics
francisco lobo
Francisco
Lobo
francisco lobo--Automated reasoning
francisco lobo--Description logic
francisco lobo--Logic
francisco lobo--Knowledge representation and reasoning
francisco lobo--Mathematics
francisco lobo--Algebra
francisco lobo--Formal methods
francisco lobo--Symbolic computation
francisco lobo--Model of computation
Formal language
Formal language
francisco lobo--Formal language
Knowledge graphs
Knowledge graphs
francisco lobo--Knowledge graphs
Language of mathematics
Language of mathematics
francisco lobo--Language of mathematics
Mathematical logic
Mathematical logic
francisco lobo--Mathematical logic
Mathematical modelling
Mathematical modelling
francisco lobo--Mathematical modelling
Pure mathematics
Pure mathematics
francisco lobo--Pure mathematics
joe razavi
Joe
Razavi
joe razavi--Verification
joe razavi--Symbolic AI
joe razavi--Logic
joe razavi--Mathematics
joe razavi--Algebra
joe razavi--Formal methods
joe razavi--Symbolic computation
joe razavi--Cellular automaton
joe razavi--Model of computation
joe razavi--Formal language
joe razavi--Language of mathematics
joe razavi--Mathematical logic
joe razavi--Mathematical modelling
joe razavi--Pure mathematics
Compiler
Compiler
joe razavi--Compiler
Natural language
Natural language
joe razavi--Natural language
Program analysis
Program analysis
joe razavi--Program analysis
Program synthesis
Program synthesis
joe razavi--Program synthesis
Programming models
Programming models
joe razavi--Programming models
ian pratt-hartmann
Ian
Pratt-hartmann
ian pratt-hartmann--Automated reasoning
ian pratt-hartmann--Logic
ian pratt-hartmann--Mathematics
ian pratt-hartmann--Algebra
ian pratt-hartmann--Formal methods
ian pratt-hartmann--Symbolic computation
ian pratt-hartmann--Natural language
