On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
Phan Minh Dũng low
No abstract in the source record.
this paper
works it cites
works citing it
node size = global citations · hover for the full title
Citation edge evidence
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→Foundations of Logic ProgrammingLegacy edge — source detail unavailable
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→A logic for default reasoningLegacy edge — source detail unavailable
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→The stable model semantics for logic programmingLegacy edge — source detail unavailable
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→Negation as FailureLegacy edge — source detail unavailable
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→Circumscription—A form of non-monotonic reasoningLegacy edge — source detail unavailable
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→Logic ProgrammingLegacy edge — source detail unavailable
- A logic for default reasoning→Negation as FailureLegacy edge — source detail unavailable
- Circumscription—A form of non-monotonic reasoning→A logic for default reasoningLegacy edge — source detail unavailable
What this paper cites, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| Foundations of Logic Programming | 1984 | 4,174 |
| A logic for default reasoning | 1980 | 3,943 |
| The stable model semantics for logic programming | 1988 | 3,428 |
| Negation as Failure | 1978 | 2,039 |
| Circumscription—A form of non-monotonic reasoning | 1980 | 2,037 |
| Logic Programming | 1992 | 1,690 |
Links
Topics
| Logic, Reasoning, and Knowledge | Computer Science |
| Multi-Agent Systems and Negotiation | Computer Science |
| Logic, programming, and type systems | Computer Science |
Is this record sound?
complete
Nothing in this record contradicts itself and no field we check is missing.
- supports1 author record(s) attached.
- supports91 reference(s) recorded.
- neutralThe DOI carries no year to check against.
- supportsA title is present.
Provenance
sha256 bba2969b3567609a…