bookstore:book:logical_foundations_for_rule_based_systems
Media Manager
Namespaces
Choose namespace
Media Files
Files in docs
- adminman.rdf.xml
- 2022/03/23 16:59
- 652 B
- adminman_1.rdf.xml
- 2022/03/23 16:59
- 656 B
- adminman_2.rdf.xml
- 2022/03/23 16:59
- 624 B
- adminman_3.rdf.xml
- 2022/03/23 16:59
- 636 B
- adminman_4.rdf.xml
- 2022/03/23 16:59
- 592 B
- adminman_5.rdf.xml
- 2022/03/23 16:59
- 612 B
- adminman_6.rdf.xml
- 2022/03/23 16:59
- 628 B
- bpwiki-about.rdf.xml
- 2022/03/23 16:59
- 664 B
- bpwiki-about_1.rdf.xml
- 2022/03/23 16:59
- 668 B
- bpwiki-about_2.rdf.xml
- 2022/03/23 16:59
- 636 B
- bpwiki-about_3.rdf.xml
- 2022/03/23 16:59
- 648 B
- bpwiki-about_4.rdf.xml
- 2022/03/23 16:59
- 604 B
- bpwiki-about_5.rdf.xml
- 2022/03/23 16:59
- 640 B
- bpwiki-about_6.rdf.xml
- 2022/03/23 16:59
- 624 B
- bpwiki-tutorial.rdf.xml
- 2022/03/23 16:59
- 673 B
- bpwiki-tutorial_1.rdf.xml
- 2022/03/23 16:59
- 677 B
- bpwiki-tutorial_2.rdf.xml
- 2022/03/23 16:59
- 645 B
- bpwiki-tutorial_3.rdf.xml
- 2022/03/23 16:59
- 657 B
- bpwiki-tutorial_4.rdf.xml
- 2022/03/23 16:59
- 613 B
- bpwiki-tutorial_5.rdf.xml
- 2022/03/23 16:59
- 649 B
- bpwiki-tutorial_6.rdf.xml
- 2022/03/23 16:59
- 633 B
- bpwiki-tutorial_and_1436_select_1436_from_pg_sleep_5.rdf.xml
- 2022/07/18 19:47
- 744 B
- bpwiki-tutorial_and_1436_select_1436_from_pg_sleep_5_--_csjx.rdf.xml
- 2022/07/18 19:47
- 768 B
- bpwiki-tutorial_and_1436_select_1436_from_pg_sleep_5_and_6594_6594.rdf.xml
- 2022/07/18 19:47
- 786 B
- bpwiki-tutorial_and_1436_select_1436_from_pg_sleep_5_and_duxx_duxx.rdf.xml
- 2022/07/18 19:47
- 786 B
- bpwiki-tutorial_and_1436_select_1436_from_pg_sleep_5_and_sbog_sbog.rdf.xml
- 2022/07/18 19:47
- 786 B
- bpwiki-tutorial_and_2180_2180--_dtdu.rdf.xml
- 2022/07/18 19:52
- 696 B
- bpwiki-tutorial_and_2180_2180.rdf.xml
- 2022/07/18 19:52
- 675 B
- bpwiki-tutorial_and_2180_2180_and_7932_7932.rdf.xml
- 2022/07/18 19:52
- 717 B
- bpwiki-tutorial_and_2180_2180_and_drai_drai.rdf.xml
- 2022/07/18 19:52
- 717 B
- bpwiki-tutorial_and_2180_2180_and_jhua_jhua.rdf.xml
- 2022/07/18 19:52
- 717 B
- bpwiki-tutorial_and_3959_2896_and_2352_2352.rdf.xml
- 2022/07/18 19:52
- 717 B
- bpwiki-tutorial_and_4011_3083_and_eymy_eymy.rdf.xml
- 2022/07/18 19:46
- 717 B
- bpwiki-tutorial_and_4864_5696.rdf.xml
- 2022/07/18 19:52
- 675 B
- bpwiki-tutorial_and_5643_dbms_pipe.receive_message_chr_81_chr_105_chr_70_chr_80_5.rdf.xml
- 2022/07/18 19:53
- 831 B
- bpwiki-tutorial_and_5687_4554_and_sewh_sewh.rdf.xml
- 2022/07/18 19:52
- 717 B
- bpwiki-tutorial_and_5752_3361--_miuj.rdf.xml
- 2022/07/18 19:47
- 696 B
- bpwiki-tutorial_and_6037_select_6037_from_pg_sleep_5.rdf.xml
- 2022/07/18 19:53
- 744 B
- bpwiki-tutorial_and_6037_select_6037_from_pg_sleep_5_--_xfwm.rdf.xml
- 2022/07/18 19:53
- 768 B
- bpwiki-tutorial_and_6037_select_6037_from_pg_sleep_5_and_2212_2212.rdf.xml
- 2022/07/18 19:53
- 786 B
- bpwiki-tutorial_and_6037_select_6037_from_pg_sleep_5_and_pmxz_pmxz.rdf.xml
- 2022/07/18 19:53
- 786 B
- bpwiki-tutorial_and_6037_select_6037_from_pg_sleep_5_and_tecp_tecp.rdf.xml
- 2022/07/18 19:53
- 786 B
- bpwiki-tutorial_and_7360_5018--_rwxh.rdf.xml
- 2022/07/18 19:52
- 696 B
- bpwiki-tutorial_and_7403_5197_and_cyxf_cyxf.rdf.xml
- 2022/07/18 19:52
- 717 B
- bpwiki-tutorial_and_7480_8278_and_uzqs_uzqs.rdf.xml
- 2022/07/18 19:46
- 717 B
- bpwiki-tutorial_and_7589_6592_and_2946_2946.rdf.xml
- 2022/07/18 19:46
- 717 B
- bpwiki-tutorial_and_7985_1854.rdf.xml
- 2022/07/18 19:46
- 675 B
- bpwiki-tutorial_and_9414_dbms_pipe.receive_message_chr_121_chr_71_chr_104_chr_85_5.rdf.xml
- 2022/07/18 19:47
- 834 B
- bpwiki-tutorial_and_9649_9649--_vplq.rdf.xml
- 2022/07/18 19:47
- 696 B
- bpwiki-tutorial_and_9649_9649.rdf.xml
- 2022/07/18 19:46
- 675 B
- bpwiki-tutorial_and_9649_9649_and_1830_1830.rdf.xml
- 2022/07/18 19:46
- 717 B
- bpwiki-tutorial_and_9649_9649_and_lsil_lsil.rdf.xml
- 2022/07/18 19:46
- 717 B
- bpwiki-tutorial_and_9649_9649_and_vgrw_vgrw.rdf.xml
- 2022/07/18 19:47
- 717 B
- bpwiki-tutorial_and_select_2948_from_select_sleep_5_kmfm.rdf.xml
- 2022/07/18 19:47
- 756 B
- bpwiki-tutorial_and_select_2948_from_select_sleep_5_kmfm_--_ttoc.rdf.xml
- 2022/07/18 19:47
- 780 B
- bpwiki-tutorial_and_select_2948_from_select_sleep_5_kmfm_and_2223_2223.rdf.xml
- 2022/07/18 19:47
- 798 B
- bpwiki-tutorial_and_select_2948_from_select_sleep_5_kmfm_and_dfty_dfty.rdf.xml
- 2022/07/18 19:47
- 798 B
- bpwiki-tutorial_and_select_2948_from_select_sleep_5_kmfm_and_ixrw_ixrw.rdf.xml
- 2022/07/18 19:47
- 798 B
- bpwiki-tutorial_and_select_8389_from_select_sleep_5_mppz.rdf.xml
- 2022/07/18 19:53
- 756 B
- bpwiki-tutorial_and_select_8389_from_select_sleep_5_mppz_--_ccim.rdf.xml
- 2022/07/18 19:53
- 780 B
- bpwiki-tutorial_and_select_8389_from_select_sleep_5_mppz_and_5535_5535.rdf.xml
- 2022/07/18 19:53
- 798 B
- bpwiki-tutorial_and_select_8389_from_select_sleep_5_mppz_and_bmpz_bmpz.rdf.xml
- 2022/07/18 19:53
- 798 B
- bpwiki-tutorial_and_select_8389_from_select_sleep_5_mppz_and_ihwt_ihwt.rdf.xml
- 2022/07/18 19:53
- 798 B
- bpwiki-tutorial_kurnzi_wtztbj.rdf.xml
- 2022/07/18 19:46
- 675 B
- bpwiki-tutorial_order_by_1--_bkfe.rdf.xml
- 2022/07/18 19:53
- 687 B
- bpwiki-tutorial_order_by_1--_bpcd.rdf.xml
- 2022/07/18 19:53
- 687 B
- bpwiki-tutorial_order_by_1--_hvij.rdf.xml
- 2022/07/18 19:47
- 687 B
- bpwiki-tutorial_order_by_1--_jcey.rdf.xml
- 2022/07/18 19:53
- 687 B
- bpwiki-tutorial_order_by_1--_kyyt.rdf.xml
- 2022/07/18 19:47
- 687 B
- bpwiki-tutorial_order_by_1--_lpqo.rdf.xml
- 2022/07/18 19:47
- 687 B
- bpwiki-tutorial_order_by_1--_szll.rdf.xml
- 2022/07/18 19:53
- 687 B
- bpwiki-tutorial_order_by_1--_uyfm.rdf.xml
- 2022/07/18 19:47
- 687 B
- bpwiki-tutorial_order_by_1--_vnjk.rdf.xml
- 2022/07/18 19:47
- 687 B
- bpwiki-tutorial_order_by_1--_vrrq.rdf.xml
- 2022/07/18 19:53
- 687 B
- bpwiki-tutorial_yfecgj_zevcwy.rdf.xml
- 2022/07/18 19:52
- 675 B
- create.png
- 241×61
- 2022/03/23 16:59
- 1.9 KB
- discussion-view.png
- 666×1013
- 2022/03/23 16:59
- 116.6 KB
- facts_example.png
- 1161×135
- 2022/03/23 16:59
- 8.3 KB
- gjn2009plwiki.pdf
- 2022/03/23 16:59
- 185.4 KB
- gjn2010collective.pdf
- 2022/03/23 16:59
- 252.6 KB
- gjn2011embedding.pdf
- 2022/03/23 16:59
- 1.4 MB
- gjn2011loki.pdf
- 2022/03/23 16:59
- 324.1 KB
- gjn2012proposal.pdf
- 2022/03/23 16:59
- 145.9 KB
- gjn2015sbvrwiki.pdf
- 2022/03/23 16:59
- 580.8 KB
- installation.rdf.xml
- 2022/03/23 16:59
- 664 B
- installation_1.rdf.xml
- 2022/03/23 16:59
- 668 B
- installation_2.rdf.xml
- 2022/03/23 16:59
- 636 B
- installation_3.rdf.xml
- 2022/03/23 16:59
- 648 B
- installation_4.rdf.xml
- 2022/03/23 16:59
- 604 B
- installation_5.rdf.xml
- 2022/03/23 16:59
- 624 B
- installation_6.rdf.xml
- 2022/03/23 16:59
- 640 B
- joba2009engineering.pdf
- 2022/03/23 16:59
- 466.2 KB
- joba2009verification.pdf
- 2022/03/23 16:59
- 255.7 KB
- keywords.png
- 951×692
- 2022/03/23 16:59
- 219.5 KB
- kkl2014sbvrwiki.pdf
- 2022/03/23 16:59
- 392.2 KB
- logic.png
- 871×221
- 2022/03/23 16:59
- 58.1 KB
- loki-about.rdf.xml
- 2022/03/23 16:59
- 658 B
- loki-about_1.rdf.xml
- 2022/03/23 16:59
- 662 B
- loki-about_2.rdf.xml
- 2022/03/23 16:59
- 630 B
- loki-about_3.rdf.xml
- 2022/03/23 16:59
- 642 B
- loki-about_4.rdf.xml
- 2022/03/23 16:59
- 598 B
- loki-about_5.rdf.xml
- 2022/03/23 16:59
- 634 B
- loki-about_6.rdf.xml
- 2022/03/23 16:59
- 618 B
- loki-arch.png
- 1027×356
- 2022/03/23 16:59
- 52.5 KB
- loki-book-annotated.png
- 618×573
- 2022/03/23 16:59
- 140.6 KB
- loki-export.png
- 580×458
- 2022/03/23 16:59
- 47.8 KB
- loki-simple-arch.png
- 431×337
- 2022/03/23 16:59
- 23.9 KB
- loki-sparql.png
- 887×417
- 2022/03/23 16:59
- 56.5 KB
- loki-toolbar.png
- 1172×152
- 2022/03/23 16:59
- 22.1 KB
- loki-tutorial.rdf.xml
- 2022/03/23 16:59
- 667 B
- loki-tutorial_1.rdf.xml
- 2022/03/23 16:59
- 671 B
- loki-tutorial_2.rdf.xml
- 2022/03/23 16:59
- 639 B
- loki-tutorial_3.rdf.xml
- 2022/03/23 16:59
- 651 B
- loki-tutorial_4.rdf.xml
- 2022/03/23 16:59
- 607 B
- loki-tutorial_5.rdf.xml
- 2022/03/23 16:59
- 643 B
- loki-tutorial_6.rdf.xml
- 2022/03/23 16:59
- 627 B
- plwiki1api.rdf.xml
- 2022/03/23 16:59
- 658 B
- plwiki1api_1.rdf.xml
- 2022/03/23 16:59
- 662 B
- plwiki1api_2.rdf.xml
- 2022/03/23 16:59
- 630 B
- plwiki1api_3.rdf.xml
- 2022/03/23 16:59
- 642 B
- plwiki1api_4.rdf.xml
- 2022/03/23 16:59
- 598 B
- plwiki1api_5.rdf.xml
- 2022/03/23 16:59
- 618 B
- plwiki1api_6.rdf.xml
- 2023/06/24 10:07
- 634 B
- plwiki1ex.rdf.xml
- 2022/03/23 16:59
- 655 B
- plwiki1ex_1.rdf.xml
- 2022/03/23 16:59
- 659 B
- plwiki1ex_2.rdf.xml
- 2022/03/23 16:59
- 627 B
- plwiki1ex_3.rdf.xml
- 2022/03/23 16:59
- 639 B
- plwiki1ex_4.rdf.xml
- 2022/03/23 16:59
- 595 B
- plwiki1ex_5.rdf.xml
- 2022/03/23 16:59
- 615 B
- plwiki2.rdf.xml
- 2022/03/23 16:59
- 649 B
- plwiki2_1.rdf.xml
- 2022/03/23 16:59
- 653 B
- plwiki2_2.rdf.xml
- 2022/03/23 16:59
- 621 B
- plwiki2_3.rdf.xml
- 2022/03/23 16:59
- 633 B
- plwiki2_4.rdf.xml
- 2022/03/23 16:59
- 589 B
- plwiki2_5.rdf.xml
- 2022/03/23 16:59
- 605 B
- plwiki2_6.rdf.xml
- 2022/03/23 16:59
- 609 B
- poster2015sbvrwiki.pdf
- 2022/03/23 16:59
- 425.8 KB
- poster2016bifrost.pdf
- 2022/03/23 16:59
- 502 KB
- prov-forms.png
- 928×376
- 2022/03/23 16:59
- 58 KB
- prov-uris-final.png
- 393×129
- 2022/03/23 16:59
- 6.4 KB
- prov.rdf.xml
- 2022/03/23 16:59
- 644 B
- prov_1.rdf.xml
- 2022/03/23 16:59
- 640 B
- prov_2.rdf.xml
- 2022/03/23 16:59
- 612 B
- prov_3.rdf.xml
- 2022/03/23 16:59
- 620 B
- prov_4.rdf.xml
- 2022/03/23 16:59
- 624 B
- prov_5.rdf.xml
- 2022/03/23 16:59
- 580 B
- prov_6.rdf.xml
- 2022/03/23 16:59
- 596 B
- prov_7.rdf.xml
- 2022/03/23 16:59
- 616 B
- prov_8.rdf.xml
- 2022/03/23 16:59
- 600 B
- rdfeditor.rdf.xml
- 2022/03/23 16:59
- 627 B
- rdfeditor_1.rdf.xml
- 2022/03/23 16:59
- 635 B
- rdfeditor_2.rdf.xml
- 2022/03/23 16:59
- 639 B
- rdfeditor_3.rdf.xml
- 2022/03/23 16:59
- 611 B
- rdfeditor_4.rdf.xml
- 2022/03/23 16:59
- 595 B
- rdfeditor_5.rdf.xml
- 2022/03/23 16:59
- 631 B
- rdfeditor_6.rdf.xml
- 2022/03/23 16:59
- 615 B
- rdfloki-london.png
- 570×540
- 2022/03/23 16:59
- 35.6 KB
- rdfloki.rdf.xml
- 2022/03/23 16:59
- 621 B
- rdfloki_1.rdf.xml
- 2022/03/23 16:59
- 629 B
- rdfloki_2.rdf.xml
- 2022/03/23 16:59
- 633 B
- rdfloki_3.rdf.xml
- 2022/03/23 16:59
- 605 B
- rdfloki_4.rdf.xml
- 2022/03/23 16:59
- 589 B
- rdfloki_5.rdf.xml
- 2022/03/23 16:59
- 625 B
- rdfloki_6.rdf.xml
- 2022/03/23 16:59
- 609 B
- revisionsrater.rdf.xml
- 2022/03/23 16:59
- 642 B
- revisionsrater_1.rdf.xml
- 2022/03/23 16:59
- 650 B
- revisionsrater_2.rdf.xml
- 2022/03/23 16:59
- 654 B
- revisionsrater_3.rdf.xml
- 2022/03/23 16:59
- 610 B
- revisionsrater_4.rdf.xml
- 2022/03/23 16:59
- 630 B
- revisionsrater_5.rdf.xml
- 2022/03/23 16:59
- 646 B
- rules_example.png
- 1172×105
- 2022/03/23 16:59
- 7.3 KB
- sbvr-about.rdf.xml
- 2022/03/23 16:59
- 658 B
- sbvr-about_1.rdf.xml
- 2022/03/23 16:59
- 662 B
- sbvr-about_2.rdf.xml
- 2022/03/23 16:59
- 630 B
- sbvr-about_3.rdf.xml
- 2022/03/23 16:59
- 634 B
- sbvr-about_4.rdf.xml
- 2022/03/23 16:59
- 618 B
- sbvr-tutorial.rdf.xml
- 2022/03/23 16:59
- 667 B
- sbvr-tutorial_1.rdf.xml
- 2022/03/23 16:59
- 671 B
- sbvr-tutorial_2.rdf.xml
- 2022/03/23 16:59
- 639 B
- sbvr-tutorial_3.rdf.xml
- 2022/03/23 16:59
- 651 B
- sbvr-tutorial_4.rdf.xml
- 2022/03/23 16:59
- 607 B
- sbvr-tutorial_5.rdf.xml
- 2022/03/23 16:59
- 643 B
- sbvr-tutorial_6.rdf.xml
- 2022/03/23 16:59
- 627 B
- sbvr-tutorial_and_16_113_and_84_84.rdf.xml
- 2022/03/23 16:59
- 690 B
- sbvr-tutorial_and_20_115_and_91_91.rdf.xml
- 2022/03/23 16:59
- 690 B
- sbvr-tutorial_and_36_82_and_14_14.rdf.xml
- 2022/03/23 16:59
- 687 B
- sbvr-tutorial_and_57_107_and_22_22.rdf.xml
- 2022/03/23 16:59
- 690 B
- sbvr-tutorial_and_57_115_and_29_29.rdf.xml
- 2022/03/23 16:59
- 690 B
- sbvr-tutorial_and_60_137_and_60_60.rdf.xml
- 2022/03/23 16:59
- 690 B
- simple_example.png
- 910×154
- 2022/03/23 16:59
- 6.4 KB
- start.rdf.xml
- 2022/03/23 16:59
- 643 B
- start_1.rdf.xml
- 2022/03/23 16:59
- 647 B
- start_2.rdf.xml
- 2022/03/23 16:59
- 615 B
- start_3.rdf.xml
- 2022/03/23 16:59
- 623 B
- start_4.rdf.xml
- 2022/03/23 16:59
- 627 B
- start_5.rdf.xml
- 2022/03/23 16:59
- 583 B
- start_6.rdf.xml
- 2022/03/23 16:59
- 603 B
- start_7.rdf.xml
- 2022/03/23 16:59
- 619 B
- terms_example.png
- 1166×423
- 2022/03/23 16:59
- 19.4 KB
- tour.rdf.xml
- 2022/03/23 16:59
- 612 B
- tour_1.rdf.xml
- 2022/03/23 16:59
- 624 B
- tour_2.rdf.xml
- 2022/03/23 16:59
- 580 B
- tour_3.rdf.xml
- 2022/03/23 16:59
- 596 B
- tour_4.rdf.xml
- 2022/03/23 16:59
- 616 B
- tour_5.rdf.xml
- 2022/03/23 16:59
- 600 B
- tour_and_1986_between_3664_and_3664.rdf.xml
- 2024/05/05 22:01
- 693 B
- tour_and_2170_4450_and_mtlq_mtlq.rdf.xml
- 2024/05/05 22:01
- 684 B
- tour_and_2847_8668_and_ahlx_ahlx.rdf.xml
- 2024/05/05 22:01
- 684 B
- tour_and_3385_between_5983_and_5983--_hkgq.rdf.xml
- 2024/05/05 22:01
- 714 B
- tour_and_7579_7579_and_3839_between_3839_and_3839.rdf.xml
- 2024/05/05 22:01
- 735 B
- tour_and_7579_7579_and_eewq_eewq.rdf.xml
- 2024/05/05 22:01
- 684 B
- tour_and_7579_7579_and_mpps_mpps.rdf.xml
- 2024/05/05 22:01
- 684 B
- tour_and_7579_between_7579_and_7579--_olas.rdf.xml
- 2024/05/05 22:01
- 714 B
- tour_and_7579_between_7579_and_7579.rdf.xml
- 2024/05/05 22:01
- 693 B
- tour_and_8475_3086_and_7400_between_7400_and_7400.rdf.xml
- 2024/05/05 22:01
- 735 B
- tour_ctizea_mwhksn.rdf.xml
- 2024/05/05 22:01
- 642 B
- userman.rdf.xml
- 2022/03/23 16:59
- 1.8 KB
- userman_1.rdf.xml
- 2022/03/23 16:59
- 1.8 KB
- userman_2.rdf.xml
- 2022/03/23 16:59
- 1.8 KB
- userman_3.rdf.xml
- 2022/03/23 16:59
- 633 B
- userman_4.rdf.xml
- 2022/03/23 16:59
- 589 B
- userman_5.rdf.xml
- 2022/03/23 16:59
- 605 B
- userman_6.rdf.xml
- 2022/03/23 16:59
- 1.8 KB
- userman_7.rdf.xml
- 2022/03/23 16:59
- 1.7 KB
- wta2011howtoreason.pdf
- 2022/03/23 16:59
- 249.3 KB
- wta2011loki.pdf
- 2022/03/23 16:59
- 128.1 KB
- xttviewer.rdf.xml
- 2022/03/23 16:59
- 627 B
- xttviewer_1.rdf.xml
- 2022/03/23 16:59
- 635 B
- xttviewer_2.rdf.xml
- 2022/03/23 16:59
- 639 B
- xttviewer_3.rdf.xml
- 2022/03/23 16:59
- 611 B
- xttviewer_4.rdf.xml
- 2022/03/23 16:59
- 595 B
- xttviewer_5.rdf.xml
- 2022/03/23 16:59
- 631 B
- xttviewer_6.rdf.xml
- 2022/03/23 16:59
- 615 B
![[root]](/wiki/bookstore:book:logical_foundations_for_rule_based_systems?ns=&tab_files=files&do=media&tab_details=view&image=docs%3Alogic.png){kind=link}
File
- View
- History
- Date:
- 2022/03/23 16:59
- Filename:
- logic.png
- Format:
- PNG
- Size:
- 58KB
- Width:
- 871
- Height:
- 221
- References for:
- sbvr-about
bookstore/book/logical_foundations_for_rule_based_systems.txt · Last modified: 2022/03/23 16:59 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
