<--- Back to Details
First PageDocument Content
Knowledge engineering / Programming paradigms / Reasoning / Software design / Knowledge-based systems / Software development methodology / Knowledge engineer / Object-oriented design / Object-oriented programming / Software engineering / Artificial intelligence / Science
Date: 2013-05-22 10:53:37
Knowledge engineering
Programming paradigms
Reasoning
Software design
Knowledge-based systems
Software development methodology
Knowledge engineer
Object-oriented design
Object-oriented programming
Software engineering
Artificial intelligence
Science

Representation in Knowledge-Based Systems

Add to Reading List

Source URL: www.reidgsmith.com

Download Document from Source Website

File Size: 3,65 MB

Share Document on Facebook

Similar Documents

Artificial intelligence / Multi-agent systems / Modeling and simulation / Systems science / Agent-based model / Artificial life / Complex systems theory / Model checking / Temporal logic / Intelligent agent / Sociology

Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

DocID: 1xVYq - View Document

Cryptocurrencies / Computing / Concurrent computing / Fault-tolerant computer systems / Distributed computing / Distributed algorithms / Theory of computation / Cryptography / Byzantine fault tolerance / Blockchain / Consensus / Proof-of-stake

OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems Sang-Min Choia , Jiho Parka , Quan Nguyena , Kiyoung Jangb , Hyunjoon Cheonb , Yo-Sub Hanb , Byung-Ik Ahna a

DocID: 1xVFA - View Document

Theoretical computer science / Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Logic programming / Resolution / Unification / Satisfiability modulo theories / Andrei Voronkov

Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ

DocID: 1xVzg - View Document

Artificial intelligence / Logic / Cognitive science / Automated reasoning / Reasoning / Accountability / Technology / Automated theorem proving / Explainable Artificial Intelligence / Xai / Inference

Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

DocID: 1xVwB - View Document

Mathematics / Theoretical computer science / Applied mathematics / Logic in computer science / Formal methods / Computational neuroscience / Artificial neural networks / Proof assistants / Entropy / Coq / N-gram / Recurrent neural network

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

DocID: 1xVtC - View Document