Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569851994> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1569851994 endingPage "1035" @default.
- W1569851994 startingPage "1029" @default.
- W1569851994 abstract "The paper shows how an agent-based system can be subjected to formal verification using a deductive approach. The particular system for gathering open source intelligence is considered, which is build on a framework for data integration. Techniques allowing for automatic extraction of logical specifications are described with emphasis on pattern-based and rule-based approaches. An example illustrates how the proposed method works in a scenario with iterated agent tasks combining these two approaches." @default.
- W1569851994 created "2016-06-24" @default.
- W1569851994 creator A5040076942 @default.
- W1569851994 creator A5055909946 @default.
- W1569851994 creator A5078501990 @default.
- W1569851994 date "2013-09-01" @default.
- W1569851994 modified "2023-10-02" @default.
- W1569851994 title "Verifying data integration agents with deduction-based models" @default.
- W1569851994 cites W1512750313 @default.
- W1569851994 cites W181379658 @default.
- W1569851994 cites W200812947 @default.
- W1569851994 cites W2034717157 @default.
- W1569851994 cites W2128672031 @default.
- W1569851994 cites W2132750992 @default.
- W1569851994 cites W2154581529 @default.
- W1569851994 cites W2399874817 @default.
- W1569851994 cites W2407412515 @default.
- W1569851994 cites W2610670723 @default.
- W1569851994 cites W2615300779 @default.
- W1569851994 cites W2913459036 @default.
- W1569851994 cites W2914206182 @default.
- W1569851994 cites W3296631 @default.
- W1569851994 cites W48373318 @default.
- W1569851994 cites W946220898 @default.
- W1569851994 cites W1893518388 @default.
- W1569851994 hasPublicationYear "2013" @default.
- W1569851994 type Work @default.
- W1569851994 sameAs 1569851994 @default.
- W1569851994 citedByCount "4" @default.
- W1569851994 countsByYear W15698519942014 @default.
- W1569851994 countsByYear W15698519942017 @default.
- W1569851994 countsByYear W15698519942018 @default.
- W1569851994 crossrefType "proceedings-article" @default.
- W1569851994 hasAuthorship W1569851994A5040076942 @default.
- W1569851994 hasAuthorship W1569851994A5055909946 @default.
- W1569851994 hasAuthorship W1569851994A5078501990 @default.
- W1569851994 hasConcept C115903868 @default.
- W1569851994 hasConcept C124101348 @default.
- W1569851994 hasConcept C134306372 @default.
- W1569851994 hasConcept C140479938 @default.
- W1569851994 hasConcept C154945302 @default.
- W1569851994 hasConcept C33923547 @default.
- W1569851994 hasConcept C41008148 @default.
- W1569851994 hasConcept C72634772 @default.
- W1569851994 hasConceptScore W1569851994C115903868 @default.
- W1569851994 hasConceptScore W1569851994C124101348 @default.
- W1569851994 hasConceptScore W1569851994C134306372 @default.
- W1569851994 hasConceptScore W1569851994C140479938 @default.
- W1569851994 hasConceptScore W1569851994C154945302 @default.
- W1569851994 hasConceptScore W1569851994C33923547 @default.
- W1569851994 hasConceptScore W1569851994C41008148 @default.
- W1569851994 hasConceptScore W1569851994C72634772 @default.
- W1569851994 hasLocation W15698519941 @default.
- W1569851994 hasOpenAccess W1569851994 @default.
- W1569851994 hasPrimaryLocation W15698519941 @default.
- W1569851994 hasRelatedWork W109854970 @default.
- W1569851994 hasRelatedWork W1139623133 @default.
- W1569851994 hasRelatedWork W117477223 @default.
- W1569851994 hasRelatedWork W132048690 @default.
- W1569851994 hasRelatedWork W1490531757 @default.
- W1569851994 hasRelatedWork W1536839926 @default.
- W1569851994 hasRelatedWork W1877534296 @default.
- W1569851994 hasRelatedWork W2014897654 @default.
- W1569851994 hasRelatedWork W2027268507 @default.
- W1569851994 hasRelatedWork W2079615205 @default.
- W1569851994 hasRelatedWork W2134296331 @default.
- W1569851994 hasRelatedWork W2395013004 @default.
- W1569851994 hasRelatedWork W2724806374 @default.
- W1569851994 hasRelatedWork W2907563014 @default.
- W1569851994 hasRelatedWork W2949531951 @default.
- W1569851994 hasRelatedWork W2964482546 @default.
- W1569851994 hasRelatedWork W3000604730 @default.
- W1569851994 hasRelatedWork W3006349162 @default.
- W1569851994 hasRelatedWork W3032291494 @default.
- W1569851994 hasRelatedWork W2784728985 @default.
- W1569851994 isParatext "false" @default.
- W1569851994 isRetracted "false" @default.
- W1569851994 magId "1569851994" @default.
- W1569851994 workType "article" @default.