Languages
Pacuit, Eric.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Neighborhood semantics for modal logic
by:
Pacuit, Eric.; SpringerLink (Online service)
(Language materials, printed)
Games, norms and reasons = logic at the crossroads /
by:
Benthem, Johan van.; SpringerLink (Online service); Gupta, Amitabha.; Pacuit, Eric.
(Language materials, printed)
Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); He, Xiangdong.; Horty, John.; Pacuit, Eric.; SpringerLink (Online service)
(Language materials, printed)
At the intersection of language, logic, and information = ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers /
by:
SpringerLink (Online service); Sikos, Jennifer.; Pacuit, Eric.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
At the Intersection of Language, Logic, and Information = ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers /
by:
SpringerLink (Online service); Pacuit, Eric.; Sikos, Jennifer.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Knowledge representation (Information theory) .
Computer logic.
Knowledge based Systems.
Symbolic and Algebraic Manipulation.
Theory of Computation.
Natural language processing (Computer science).
Mathematics of Computing.
Computer Science.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Artificial intelligence
Computer logic
Game theory
Information storage and retrieval.
Logic, Symbolic and mathematical.
Natural Language Processing (NLP).
Logic
Natural Language Processing (NLP)
Information Storage and Retrieval.
Game Theory, Economics, Social and Behav. Sciences.
Discrete Mathematics in Computer Science.
Game Theory/Mathematical Methods.
Philosophy.
Mathematical and Computational Engineering.