Matches in SemOpenAlex for { <https://semopenalex.org/work/W110856585> ?p ?o ?g. }
- W110856585 endingPage "1330" @default.
- W110856585 startingPage "1329" @default.
- W110856585 abstract "This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified via an agent-oriented interval temporal logic defined to this purpose, with fully defined syntax, semantics and pragmatics." @default.
- W110856585 created "2016-06-24" @default.
- W110856585 creator A5021862093 @default.
- W110856585 date "2013-05-06" @default.
- W110856585 modified "2023-09-28" @default.
- W110856585 title "Self-checking logical agents" @default.
- W110856585 cites W135395459 @default.
- W110856585 cites W139055536 @default.
- W110856585 cites W1497420090 @default.
- W110856585 cites W1514325465 @default.
- W110856585 cites W1541434994 @default.
- W110856585 cites W1541681485 @default.
- W110856585 cites W1550395769 @default.
- W110856585 cites W157317426 @default.
- W110856585 cites W1574222145 @default.
- W110856585 cites W1592150730 @default.
- W110856585 cites W1592323900 @default.
- W110856585 cites W1606403830 @default.
- W110856585 cites W1608309740 @default.
- W110856585 cites W1734979674 @default.
- W110856585 cites W1778175466 @default.
- W110856585 cites W1866624891 @default.
- W110856585 cites W1885037678 @default.
- W110856585 cites W1912165540 @default.
- W110856585 cites W1993650803 @default.
- W110856585 cites W2001516787 @default.
- W110856585 cites W2003227046 @default.
- W110856585 cites W2003250112 @default.
- W110856585 cites W2011306767 @default.
- W110856585 cites W2017960715 @default.
- W110856585 cites W2023808162 @default.
- W110856585 cites W2026629052 @default.
- W110856585 cites W2039025680 @default.
- W110856585 cites W2043100293 @default.
- W110856585 cites W2071787143 @default.
- W110856585 cites W2095156325 @default.
- W110856585 cites W2098584895 @default.
- W110856585 cites W2104362302 @default.
- W110856585 cites W2119268526 @default.
- W110856585 cites W2120085694 @default.
- W110856585 cites W2121206858 @default.
- W110856585 cites W2133881934 @default.
- W110856585 cites W2138950394 @default.
- W110856585 cites W2139519544 @default.
- W110856585 cites W2145180856 @default.
- W110856585 cites W2148956286 @default.
- W110856585 cites W2150565442 @default.
- W110856585 cites W2153979045 @default.
- W110856585 cites W2154631287 @default.
- W110856585 cites W2158415135 @default.
- W110856585 cites W2162176451 @default.
- W110856585 cites W2396555304 @default.
- W110856585 cites W2397348619 @default.
- W110856585 cites W2397775041 @default.
- W110856585 cites W2402187208 @default.
- W110856585 cites W2431139695 @default.
- W110856585 cites W266357918 @default.
- W110856585 cites W2899987233 @default.
- W110856585 cites W296505666 @default.
- W110856585 cites W645589611 @default.
- W110856585 cites W1515421669 @default.
- W110856585 cites W2122184219 @default.
- W110856585 cites W2525596798 @default.
- W110856585 cites W2526929743 @default.
- W110856585 cites W2589513962 @default.
- W110856585 doi "https://doi.org/10.5555/2484920.2485208" @default.
- W110856585 hasPublicationYear "2013" @default.
- W110856585 type Work @default.
- W110856585 sameAs 110856585 @default.
- W110856585 citedByCount "4" @default.
- W110856585 countsByYear W1108565852013 @default.
- W110856585 countsByYear W1108565852015 @default.
- W110856585 countsByYear W1108565852018 @default.
- W110856585 countsByYear W1108565852020 @default.
- W110856585 crossrefType "proceedings-article" @default.
- W110856585 hasAuthorship W110856585A5021862093 @default.
- W110856585 hasConcept C110251889 @default.
- W110856585 hasConcept C11693617 @default.
- W110856585 hasConcept C138885662 @default.
- W110856585 hasConcept C154945302 @default.
- W110856585 hasConcept C162670838 @default.
- W110856585 hasConcept C167729594 @default.
- W110856585 hasConcept C184337299 @default.
- W110856585 hasConcept C199360897 @default.
- W110856585 hasConcept C20693621 @default.
- W110856585 hasConcept C25016198 @default.
- W110856585 hasConcept C2524010 @default.
- W110856585 hasConcept C33923547 @default.
- W110856585 hasConcept C41008148 @default.
- W110856585 hasConcept C41895202 @default.
- W110856585 hasConcept C4777664 @default.
- W110856585 hasConcept C60048249 @default.
- W110856585 hasConcept C80444323 @default.
- W110856585 hasConceptScore W110856585C110251889 @default.
- W110856585 hasConceptScore W110856585C11693617 @default.
- W110856585 hasConceptScore W110856585C138885662 @default.
- W110856585 hasConceptScore W110856585C154945302 @default.
- W110856585 hasConceptScore W110856585C162670838 @default.