Commonsense reasoning : an event calculus based approach /

Commonsense reasoning : an event calculus based approach /

PSZKLL

Bibliographic Details
Main Author:	Mueller, Erik T.
Format:
Language:	eng
Published:	Waltham, MA : Morgan Kaufmann, 2015
Subjects:	Commonsense reasoning Artificial intelligence Logic, Symbolic and mathematical

Similar Items

PrimeNet: a framework for commonsense knowledge representation and reasoning based on conceptual primitives
by: Liu, Qian, et al.
Published: (2024)

OntoSenticNet : a commonsense ontology for sentiment analysis
by: Dragoni, Mauro, et al.
Published: (2020)

Elements of logical reasoning
by: 374310 Von Plato, Jan author
Published: (2013)

Formal methods in artificial intelligence /
by: 337716 Ramsay, Allan

Cognitive reasoning : a formal approach /
by: 502900 Anshakov, O. M., et al.
Published: (2010)

Conceptual commonsense-aware attentive modeling with pre-trained masked language models for humor recognition
by: Yuta Sasaki, et al.
Published: (2024-12-01)

HermiT: an OWL 2 reasoner
by: Glimm, B, et al.
Published: (2014)

Improving zero-shot learning baselines with commonsense knowledge
by: Roy, Abhinaba, et al.
Published: (2023)

Reasoning about uncertainty /
by: Halpern, Joseph Y., 1953-
Published: (2005)

Methodologies for intelligent systems, 4 /
by: International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.), et al.
Published: (c198)

Commonsense-Guided Inductive Relation Prediction with Dual Attention Mechanism
by: Yuxiao Duan, et al.
Published: (2024-02-01)

Abductive reasoning : logical investigations into discovery and explanation /
by: 375870 Aliseda, Atocha
Published: (2006)

Mathematical reasoning /
by: 344032 Harnadek, Anita
Published: (1969)

SOSAc-Reasoner: An ASP inference engine for automatic IoT context knowledge generation
by: Ana Rubio, et al.
Published: (2024-09-01)

Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings /
by: Holldobler, Steffen, 1957-, et al.
Published: (2008)

Improving Commonsense Bias Classification by Mitigating the Influence of Demographic Terms
by: Jinkyu Lee, et al.
Published: (2024-01-01)

Logic techniques of formal reasoning /
by: 390934 Kalish, Donald, et al.
Published: (1980)

Mathematics and plausible reasoning /
by: Polya, George, 1887-1985
Published: (1954)

Qualitative spatial and temporal reasoning /
by: Ligozat, Gřard
Published: (2012)

The plausibility machine commonsense (PMC) dataset: A massively crowdsourced human-annotated dataset for studying plausibility in large language models
by: Navapat Nananukul, et al.
Published: (2024-12-01)

Ethnomethodology and Conversational Analysis
by: Mohammad Ali Torabi
Published: (2010-09-01)

Visualization, explanation and reasoning styles in mathematics /
by: Mancosu, Paolo, et al.
Published: (2005)

Consequence-based reasoning for SRIQ ontologies
by: Bate, A
Published: (2016)

MKER: multi-modal knowledge extraction and reasoning for future event prediction
by: Chenghang Lai, et al.
Published: (2025-01-01)

The impact of disjunction on reasoning under existential rules
by: Morak, M
Published: (2014)

Qualitative reasoning about physical systems /
by: Babrow, Daniel G.
Published: (1984)

Logic : the study of deductive reasoning /
by: 367588 Yildirim, Cemal
Published: (1973)

Artificial reason and artificial intelligence: The legal reasoning capabilities of GPT-4
by: Spaić Bojan, et al.
Published: (2024-01-01)

Logic : a foundation for computer science /
by: 307739 Sperschneider, V., et al.
Published: (1993)

Logic in mathematics : an elementary approach /
by: 285503 Hallerberg, Arthur Edward
Published: (1974)

Mathematics and common sense : a case of creative tension /
by: Davis, Philip J., 1923-
Published: (2006)

Fuzzy commonsense reasoning for multimodal sentiment analysis
by: Chaturvedi, Iti, et al.
Published: (2021)

Inductive reasoning : experimental, developmental, and computational approaches /
by: Feeney, Aidan, et al.
Published: (2007)

Reasoning about theoretical entities /
by: 198806 Forster, Thomas
Published: (2003)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
by: Simon Tobias Lund, et al.
Published: (2024-11-01)

How to prove it : a structured approach /
by: 428366 Velleman, Daniel J.
Published: (1994)

Scandinavian Logic Symposium, 2nd., University of Oslo, 1970 : Proceedings /
by: Scandinavian Logic Symposium (2nd : 1970 : University of Oslo), et al.
Published: (1971)

Mixed inference machine reading comprehension method based on symbolic logic
by: Duanduan Liu
Published: (2024-03-01)

Arithmetic logic unit (ALU) - bit slice approach.
by: Suparjo, Bambang Sunaryo, et al.

On the calculus of positively constructed formulas for authomated theorem proving
by: A. V. Davydov, et al.
Published: (2010-12-01)