Logic and Rational Interaction

Archive for the ‘Reasoning’ Category

2July2010

Workshop on Logic, Language, Information

Posted by Sunxin under: Activities; Computer Science; Natural Language Semantics; Programming Theory; Reasoning; To be categorized.

14April2010

Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)

Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Conference and workshop announcements; Reasoning.

29March2010

Univ. of Groningen: Carlos Areces — To B or not to B, is that the question?

Posted by Rasmus Rendsvig under: Activities; Computer Science; Courses, seminars and special lectures; Reasoning.

24March2010

CfP: Automated Reasoning about Context and Ontology Evolution Workshop at ECAI-10

Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Call for papers; Computer Science; Conference and workshop announcements; Knowledge Representation; Non-Monotonic Reasoning; Reasoning.

18March2010

CfP: CLIMA XI Workshop — Logics for Games and Strategic Reasoning

Posted by Rasmus Rendsvig under: Activities; Call for papers; Conference and workshop announcements; Logics for Games; Reasoning; Strategies; Uncategorized.

10March2010

2nd CfP: LRR10: LOGIC, REASONING AND RATIONALITY

Posted by Rasmus Rendsvig under: Activities; Call for papers; Conference and workshop announcements; Rational Agency; Reasoning.

Previous

Comment? Questions? Contact?

Please send an email to Rasmus Rendsvig, our web manager, at: rendsvig at gmail dot com

Enter your email address here to receive a periodical summary of the LORI posts.

Subscribe to RSS Feed

RSS Feed

Our visitors

Upcoming Events

Tuesday, November 30, 1999:
- Chair of Computational Logic at Dresden University of Technology (12:00 am)
Saturday, July 10, 2010:
- 10 PhD student positions in Mathematical Logic in Computer Science (12:00 am)
Monday, September 6, 2010:
- Conference announcement: Temporal Representation and Reasoning (TIME'10), Paris, France (12:00 am)
Tuesday, September 7, 2010:
- Formal Ethics Week - New Dates and Updated Program (all day)
- Call for Participation: Formal Ethics Week, September 7-10, 2010, University of Groningen (12:00 am)

Events

September 2010
M	T	W	T	F	S	S
	1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	EC

Browse by content

Events (546)
- Activities (545)
  - Call for papers (144)
  - Conference and workshop announcements (220)
  - Conference and workshop reports (79)
  - Courses, seminars and special lectures (161)
  - Upcoming deadlines (42)
Glossary (14)
Help (15)
Job annoucements (31)
Links (15)
Logic in Asia (8)
People & Places (99)
- Groups (8)
- People (63)
  - Master Student (9)
  - PhD Student (20)
  - Postdoctoral Researcher (13)
  - Senior Researcher (23)
- Places (Universities and Institutes) (47)
  - ILLC (26)
  - Tsinghua University (10)
  - Universiteit van Amsterdam (7)
Publications (95)
- Books, Journals issues, proceedings (59)
- Work in progress (5)
Research Axes (345)
- Agent diversity and bounded rationality (14)
- Argumentation (5)
- Artificial Intelligence (39)
- Belief revision, conditioning, imaging and other belief (44)
- Computational Social Choice (26)
- Computer Science (33)
- Decision Theory (33)
- Deontic Logic (19)
- Dependence / Independence Logic (8)
- Dynamic Epistemic Logic (41)
- Dynamic Logic (37)
- Epistemic Logic (32)
- Fixed-point Logics (5)
- Formal Epistemology (48)
- Fuzzy Logic (1)
- Game Theory (65)
- Games for logic, dialogic games. (9)
- Hybrid Logic (7)
- Imperfect Information (10)
- Information Update (18)
- Justification Logic (15)
- Knowledge Representation (3)
- Learning Theory (9)
- Logics for Games (14)
- Modal Logic (25)
- Natural Language Semantics (12)
- Non-Monotonic Reasoning (1)
- Philosophical Logic (10)
- Preferences, Intentions, Emotions (26)
- Programming Theory (9)
- Proof Theory (14)
- Public Announcement Logic (3)
- Rational Agency (39)
- Reasoning (28)
- Social Choice Theory (35)
- Social Epistemology (15)
- Social Software (16)
- Strategies (12)
- Temporal Epistemic Logic (8)
- Temporal Logic (16)
- Vagueness (2)
To be categorized (16)
Uncategorized (25)