Showing 1–2 of 2 results for author: Itegulov, D

Handling Verb Phrase Anaphora with Dependent Types and Events

Authors: Daniyar Itegulov, Ekaterina Lebedeva

Abstract: This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type Semantics (DTS) with a new atomic type for neo-Davidsonian events and an extended @-operator that can return new events that share properties of events referenced by verb phrase anaphora. The proposed framework, along with illustrative examples of its use, a… ▽ More This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type Semantics (DTS) with a new atomic type for neo-Davidsonian events and an extended @-operator that can return new events that share properties of events referenced by verb phrase anaphora. The proposed framework, along with illustrative examples of its use, are presented after a brief overview of the necessary background and of the major challenges posed by verb phrase anaphora. △ Less

Submitted 28 March, 2018; originally announced March 2018.

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

Authors: Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo

Abstract: This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of)… ▽ More This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning. △ Less

Submitted 31 October, 2017; v1 submitted 11 April, 2017; originally announced April 2017.

Comments: Published at CADE 2017