Knowledge and Reasoning in Program Synthesis

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-07131-8_29
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Similarity Knowledge Mass and Multidimensional Approximate Reasoning

2013English

Multi-Agent Cooperative Reasoning Using E-Knowledge and I-Knowledge

Transactions of the Japanese Society for Artificial Intelligence
Artificial IntelligenceSoftware
2002English

Decidable Reasoning in Terminological Knowledge Representation Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
1993English

Bipolar Representations in Reasoning, Knowledge Extraction and Decision Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Theories and Uses of Context in Knowledge Representation and Reasoning

Journal of Pragmatics
LinguisticsArtificial IntelligenceLanguage
2003English

Reasoning About Knowledge From the Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Topics in Knowledge Bases: Epistemic Ontologies and Secrecy-Preserving Reasoning

English

Knowledge in Engineering: A View From the Logical Reasoning

International Journal of Computer Theory and Engineering
2015English

Quantitative Program Reasoning With Graded Modal Types

Proceedings of the ACM on Programming Languages
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy