Prof.Dr.rer.nat. J.C. Acosta Guadarrama
Search this site
about
KRR-lab
applications
other tools
solvers
projects
proposal
belief revision
belief updates
doctoral dissertation
publications
interesting links
scientific interests
Student's Research Projects
Sitemap
Research Cloud
about
Academia Blog
"
Science is what we do to keep us from lying to ourselves
"
~
Richard Feynman
Proposal
: Knowledge Evolution
working on knowledge bases to represent and reason about knowledge and beliefs.
Research Interests:
non-clasical logics
knowledge representation and reasoning
belief revision
and
updates
(formal) epistemology
preferences and constraints
answer-set programming
non-monotonic reasoning
quantum computing
common-sense reasoning
more...
Projects:
Doctor of Science
(old
webpage
available)
evolution of knowledge
KRR-lab
knowledge-base sequences
belief revision
epistemic updates
a language for beliefs and knowledge representation
more...