Matches in SemOpenAlex for { <https://semopenalex.org/work/W1761663412> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1761663412 abstract "We present an implementation of an automated reasoning system for multi-agent knowledge and time, which can be used to describe multi-agent environments. Our reasoning procedure is based on a so-called semantic method. That is, suppose that a multi-agent environment is given by a multi-agent knowledge and time modal logic formula set U. To see whether a multi-agent knowledge and time modal logic formula F can be derived from U, all formulas in U and the negation of F are first translated, according to the possible worlds semantics, into a semantically equivalent first-order formula set, from which we then derive a set of first-order clauses. Thus, F logically follows from U iff there is a refutation in the translated clause set. Since we have to use some transitive axioms and deal with inequalities when reasoning about the set of translated first-order clauses, we augment a general purpose first-order theorem proof procedure ME (the Model Elimination) [11] with the capabilities of using transitive axioms and dealing with inequalities. Theory resolution is incorporated into our reasoning procedure for using transitive axioms efficiently. We present our implementation and show some experimental results." @default.
- W1761663412 created "2016-06-24" @default.
- W1761663412 creator A5002521806 @default.
- W1761663412 creator A5024117016 @default.
- W1761663412 creator A5033835378 @default.
- W1761663412 creator A5039699220 @default.
- W1761663412 creator A5086310978 @default.
- W1761663412 creator A5088832778 @default.
- W1761663412 date "1997-01-01" @default.
- W1761663412 modified "2023-09-25" @default.
- W1761663412 title "Implementing an automated reasoning system for multi-agent knowledge and time" @default.
- W1761663412 cites W1924552249 @default.
- W1761663412 cites W2005090804 @default.
- W1761663412 cites W2047669821 @default.
- W1761663412 cites W2053892987 @default.
- W1761663412 doi "https://doi.org/10.1007/bfb0030088" @default.
- W1761663412 hasPublicationYear "1997" @default.
- W1761663412 type Work @default.
- W1761663412 sameAs 1761663412 @default.
- W1761663412 citedByCount "1" @default.
- W1761663412 crossrefType "book-chapter" @default.
- W1761663412 hasAuthorship W1761663412A5002521806 @default.
- W1761663412 hasAuthorship W1761663412A5024117016 @default.
- W1761663412 hasAuthorship W1761663412A5033835378 @default.
- W1761663412 hasAuthorship W1761663412A5039699220 @default.
- W1761663412 hasAuthorship W1761663412A5086310978 @default.
- W1761663412 hasAuthorship W1761663412A5088832778 @default.
- W1761663412 hasConcept C100481476 @default.
- W1761663412 hasConcept C102993220 @default.
- W1761663412 hasConcept C11413529 @default.
- W1761663412 hasConcept C114614502 @default.
- W1761663412 hasConcept C154945302 @default.
- W1761663412 hasConcept C167729594 @default.
- W1761663412 hasConcept C177264268 @default.
- W1761663412 hasConcept C184337299 @default.
- W1761663412 hasConcept C185592680 @default.
- W1761663412 hasConcept C188027245 @default.
- W1761663412 hasConcept C191399111 @default.
- W1761663412 hasConcept C195344581 @default.
- W1761663412 hasConcept C199360897 @default.
- W1761663412 hasConcept C203659156 @default.
- W1761663412 hasConcept C206880738 @default.
- W1761663412 hasConcept C2185349 @default.
- W1761663412 hasConcept C2524010 @default.
- W1761663412 hasConcept C27508121 @default.
- W1761663412 hasConcept C2780432614 @default.
- W1761663412 hasConcept C33923547 @default.
- W1761663412 hasConcept C41008148 @default.
- W1761663412 hasConcept C71139939 @default.
- W1761663412 hasConcept C78344899 @default.
- W1761663412 hasConceptScore W1761663412C100481476 @default.
- W1761663412 hasConceptScore W1761663412C102993220 @default.
- W1761663412 hasConceptScore W1761663412C11413529 @default.
- W1761663412 hasConceptScore W1761663412C114614502 @default.
- W1761663412 hasConceptScore W1761663412C154945302 @default.
- W1761663412 hasConceptScore W1761663412C167729594 @default.
- W1761663412 hasConceptScore W1761663412C177264268 @default.
- W1761663412 hasConceptScore W1761663412C184337299 @default.
- W1761663412 hasConceptScore W1761663412C185592680 @default.
- W1761663412 hasConceptScore W1761663412C188027245 @default.
- W1761663412 hasConceptScore W1761663412C191399111 @default.
- W1761663412 hasConceptScore W1761663412C195344581 @default.
- W1761663412 hasConceptScore W1761663412C199360897 @default.
- W1761663412 hasConceptScore W1761663412C203659156 @default.
- W1761663412 hasConceptScore W1761663412C206880738 @default.
- W1761663412 hasConceptScore W1761663412C2185349 @default.
- W1761663412 hasConceptScore W1761663412C2524010 @default.
- W1761663412 hasConceptScore W1761663412C27508121 @default.
- W1761663412 hasConceptScore W1761663412C2780432614 @default.
- W1761663412 hasConceptScore W1761663412C33923547 @default.
- W1761663412 hasConceptScore W1761663412C41008148 @default.
- W1761663412 hasConceptScore W1761663412C71139939 @default.
- W1761663412 hasConceptScore W1761663412C78344899 @default.
- W1761663412 hasLocation W17616634121 @default.
- W1761663412 hasOpenAccess W1761663412 @default.
- W1761663412 hasPrimaryLocation W17616634121 @default.
- W1761663412 hasRelatedWork W123417488 @default.
- W1761663412 hasRelatedWork W1487071159 @default.
- W1761663412 hasRelatedWork W1489615098 @default.
- W1761663412 hasRelatedWork W1510315745 @default.
- W1761663412 hasRelatedWork W1525220035 @default.
- W1761663412 hasRelatedWork W1526476516 @default.
- W1761663412 hasRelatedWork W1564422824 @default.
- W1761663412 hasRelatedWork W1596013579 @default.
- W1761663412 hasRelatedWork W1599587354 @default.
- W1761663412 hasRelatedWork W1787646237 @default.
- W1761663412 hasRelatedWork W1836149488 @default.
- W1761663412 hasRelatedWork W1965105913 @default.
- W1761663412 hasRelatedWork W1986563142 @default.
- W1761663412 hasRelatedWork W2040241347 @default.
- W1761663412 hasRelatedWork W2088175080 @default.
- W1761663412 hasRelatedWork W2142686960 @default.
- W1761663412 hasRelatedWork W2724608839 @default.
- W1761663412 hasRelatedWork W2972813425 @default.
- W1761663412 hasRelatedWork W3132843753 @default.
- W1761663412 hasRelatedWork W2583186191 @default.
- W1761663412 isParatext "false" @default.
- W1761663412 isRetracted "false" @default.
- W1761663412 magId "1761663412" @default.
- W1761663412 workType "book-chapter" @default.