People and topics related to Knowledge representation and reasoning
People and topics related to Knowledge representation and reasoning
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)
duncan hull
Duncan
Hull
duncan hull--Computers in the classroom
Information science
Information science
duncan hull--Information science
Secondary education
Secondary education
duncan hull--Secondary education
Linked data
Linked data
duncan hull--Linked data
Open data
Open data
duncan hull--Open data
Bioinformatics
Bioinformatics
duncan hull--Bioinformatics
Educational technology
Educational technology
duncan hull--Educational technology
E-learning
E-learning
duncan hull--E-learning
Python (programming language)
Python (programming language)
duncan hull--Python (programming language)
Web application
Web application
duncan hull--Web application
Mobile application software
Mobile application software
duncan hull--Mobile application software
Arduino
Arduino
duncan hull--Arduino
Raspberry Pi
Raspberry Pi
duncan hull--Raspberry Pi
Lego Mindstorms
Lego Mindstorms
duncan hull--Lego Mindstorms
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
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
Model of computation
Model of computation
francisco lobo--Model of computation
Pure mathematics
Pure mathematics
francisco lobo--Pure mathematics
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
Natural language
Natural language
ian pratt-hartmann--Natural language