A knowledge module: Buying and selling

Joohyung Lee, Vladimir Lifschitz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

This note shows how to formalize a small set of general facts about buying and selling. We begin with summarizing properties of buying/selling informally in English, and give examples of consequences of these assumptions. Then we formalize our assumptions in action language C+ with additive fluents and actions and test the adequacy of the proposed formalization using the Causal Calculator.

Original languageEnglish (US)
Title of host publicationAAAI Spring Symposium - Technical Report
Pages28-32
Number of pages5
VolumeSS-06-05
StatePublished - 2006
Event2006 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 27 2006Mar 29 2006

Other

Other2006 AAAI Spring Symposium
CountryUnited States
CityStanford, CA
Period3/27/063/29/06

Fingerprint

Sales

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Lee, J., & Lifschitz, V. (2006). A knowledge module: Buying and selling. In AAAI Spring Symposium - Technical Report (Vol. SS-06-05, pp. 28-32)

A knowledge module : Buying and selling. / Lee, Joohyung; Lifschitz, Vladimir.

AAAI Spring Symposium - Technical Report. Vol. SS-06-05 2006. p. 28-32.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lee, J & Lifschitz, V 2006, A knowledge module: Buying and selling. in AAAI Spring Symposium - Technical Report. vol. SS-06-05, pp. 28-32, 2006 AAAI Spring Symposium, Stanford, CA, United States, 3/27/06.
Lee J, Lifschitz V. A knowledge module: Buying and selling. In AAAI Spring Symposium - Technical Report. Vol. SS-06-05. 2006. p. 28-32
Lee, Joohyung ; Lifschitz, Vladimir. / A knowledge module : Buying and selling. AAAI Spring Symposium - Technical Report. Vol. SS-06-05 2006. pp. 28-32
@inproceedings{6487ae4ebcaf4fcb991a2d9ba0ba530e,
title = "A knowledge module: Buying and selling",
abstract = "This note shows how to formalize a small set of general facts about buying and selling. We begin with summarizing properties of buying/selling informally in English, and give examples of consequences of these assumptions. Then we formalize our assumptions in action language C+ with additive fluents and actions and test the adequacy of the proposed formalization using the Causal Calculator.",
author = "Joohyung Lee and Vladimir Lifschitz",
year = "2006",
language = "English (US)",
isbn = "1577352661",
volume = "SS-06-05",
pages = "28--32",
booktitle = "AAAI Spring Symposium - Technical Report",

}

TY - GEN

T1 - A knowledge module

T2 - Buying and selling

AU - Lee, Joohyung

AU - Lifschitz, Vladimir

PY - 2006

Y1 - 2006

N2 - This note shows how to formalize a small set of general facts about buying and selling. We begin with summarizing properties of buying/selling informally in English, and give examples of consequences of these assumptions. Then we formalize our assumptions in action language C+ with additive fluents and actions and test the adequacy of the proposed formalization using the Causal Calculator.

AB - This note shows how to formalize a small set of general facts about buying and selling. We begin with summarizing properties of buying/selling informally in English, and give examples of consequences of these assumptions. Then we formalize our assumptions in action language C+ with additive fluents and actions and test the adequacy of the proposed formalization using the Causal Calculator.

UR - http://www.scopus.com/inward/record.url?scp=33747155065&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33747155065&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33747155065

SN - 1577352661

SN - 9781577352662

VL - SS-06-05

SP - 28

EP - 32

BT - AAAI Spring Symposium - Technical Report

ER -