Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Agena_target_vehicle
|
| gptkbp:aims_to |
improve problem-solving capabilities
|
| gptkbp:collaborates_with |
human experts
|
| gptkbp:developed_by |
gptkb:University_of_Massachusetts_Amherst
|
| https://www.w3.org/2000/01/rdf-schema#label |
Centaur program
|
| gptkbp:is_designed_for |
automated reasoning
|
| gptkbp:is_part_of |
artificial intelligence research
|
| gptkbp:released_in |
1990s
|
| gptkbp:supports |
interactive theorem proving
|
| gptkbp:uses |
first-order logic
|
| gptkbp:utilizes |
knowledge representation
|