aiWiki
http://ai.ia.agh.edu.pl/
2024-03-19T11:51:04+01:00aiWiki
http://ai.ia.agh.edu.pl/
http://ai.ia.agh.edu.pl/lib/tpl/arctic/images/favicon.icotext/html2024-03-18T11:21:48+01:00ligezaen:dydaktyka:krr:start - [Artificial Intelligence - 2022-2023 [AIDA]]
http://ai.ia.agh.edu.pl/en:dydaktyka:krr:start?rev=1710757308&do=diff
Artificial Intelligence
----------
Artificial Intelligence - 2022-2023 [AIDA]
* Introduction to Artificial Intelligence. Organization. Syllabus and how to pass the course. [29.02.2024; Ali] [Introduction to AI'2024]}}
* Presentations: Gurobi. Grammatical Evolution. [7.03.2024].text/html2024-03-18T11:17:02+01:00ligezaen:dydaktyka:krr:selected_tools_for_grammatical_evolution_analysis_and_applications.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Aselected_tools_for_grammatical_evolution_analysis_and_applications.pdf&ns=en%3Adydaktyka%3Akrr&rev=1710757022&tab_details=history&mediado=diff&do=media
text/html2024-03-18T11:14:10+01:00ligezapl:dydaktyka:logic:start - [Logika Matematyczna + Logic for Computer Science 2023/2024 lato/Summer]
http://ai.ia.agh.edu.pl/pl:dydaktyka:logic:start?rev=1710756850&do=diff
ψ
Logika Matematyczna + Logic for Computer Science 2023/2024 lato/Summer
----------
* Introduction to Logic [27/29.02.2024;ALi] [Introduction+Organization] [1. Introduction to Logic]
* Introduction to Logic. Propositional Calculus.Syntax and Sematics [5/7.03.2024;ALi].
* Propositional Calculus. Semantics. Logical implication and Equivalence. Maxterms and Minterms.CNF and DNF.text/html2024-02-28T17:38:10+01:00ligezaen:dydaktyka:krr:artificial_intelligence_2024_based_on_2021_2022_i_krr_2020_.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Aartificial_intelligence_2024_based_on_2021_2022_i_krr_2020_.pdf&ns=en%3Adydaktyka%3Akrr&rev=1709138290&tab_details=history&mediado=diff&do=media
text/html2024-01-08T11:15:49+01:00ligezapl:dydaktyka:cp:start - [Constraint Programming/Programowanie z Ograniczeniami 2023/2024-winter [CP-CS/PzO-Inf]]
http://ai.ia.agh.edu.pl/pl:dydaktyka:cp:start?rev=1704708949&do=diff
Constraint Programming/Programowanie z Ograniczeniami 2023/2024-winter [CP-CS/PzO-Inf]
* Introduction to Constraint Programming. Syllabus. Basic Examples. CP as Problem-Solving. Introduction to MiniZinc. [3.10.2023-ISI;ali][2.10.2023-WIET; e-lerning; 16.10.2023]text/html2023-10-27T14:35:56+01:00ligezaen:dydaktyka:krr:send_more_money_-_jakub_grzyb.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Asend_more_money_-_jakub_grzyb.pdf&ns=en%3Adydaktyka%3Akrr&rev=1698410156&tab_details=history&mediado=diff&do=media
text/html2023-10-21T21:29:27+01:00ligezaen:dydaktyka:krr:send_more_money_problem-m-kuczera-2023.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Asend_more_money_problem-m-kuczera-2023.pdf&ns=en%3Adydaktyka%3Akrr&rev=1697916567&tab_details=history&mediado=diff&do=media
text/html2023-04-03T13:53:46+01:00ligezaen:dydaktyka:krr:thesis.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Athesis.pdf&ns=en%3Adydaktyka%3Akrr&rev=1680522826&tab_details=history&mediado=diff&do=media
text/html2023-03-29T15:25:57+01:00ligezapl:dydaktyka:est:esst-2023-prolog.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Aest%3Aesst-2023-prolog.zip&ns=pl%3Adydaktyka%3Aest&rev=1680096357&tab_details=history&mediado=diff&do=media
text/html2023-03-23T10:51:25+01:00ikafen:dydaktyka:intro2ai:labs:repr-fam.pl - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Aintro2ai%3Alabs%3Arepr-fam.pl&ns=en%3Adydaktyka%3Aintro2ai%3Alabs&rev=1679565085&tab_details=history&mediado=diff&do=media
text/html2023-03-22T16:09:07+01:00ligezapl:dydaktyka:est:prolog-examples.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Aest%3Aprolog-examples.zip&ns=pl%3Adydaktyka%3Aest&rev=1679497747&tab_details=history&mediado=diff&do=media
text/html2023-01-23T11:09:46+01:00ikafpl:prolog:pllib:ascending_sorting.pl
http://ai.ia.agh.edu.pl/?image=pl%3Aprolog%3Apllib%3Aascending_sorting.pl&ns=pl%3Aprolog%3Apllib&rev=1674468586&tab_details=history&mediado=diff&do=media
text/html2022-12-05T15:54:41+01:00ligezapl:dydaktyka:cp:examples-basic-5-12-2022.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Acp%3Aexamples-basic-5-12-2022.zip&ns=pl%3Adydaktyka%3Acp&rev=1670252081&tab_details=history&mediado=diff&do=media
text/html2022-03-23T18:58:41+01:00ligezaen:dydaktyka:krr:aida-teams-2022.txt - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Aaida-teams-2022.txt&ns=en%3Adydaktyka%3Akrr&rev=1648058321&tab_details=history&mediado=diff&do=media
text/html2022-01-23T11:59:19+01:00ligezaen:dydaktyka:krr:wcidm-2017-presentation-ligeza-final-full.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Awcidm-2017-presentation-ligeza-final-full.pdf&ns=en%3Adydaktyka%3Akrr&rev=1642935559&tab_details=history&mediado=diff&do=media
text/html2022-01-23T11:55:18+01:00ligezaen:dydaktyka:krr:chapter18.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Achapter18.pdf&ns=en%3Adydaktyka%3Akrr&rev=1642935318&tab_details=history&mediado=diff&do=media
text/html2022-01-11T13:00:33+01:00ligezaen:dydaktyka:krr:master.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Amaster.pdf&ns=en%3Adydaktyka%3Akrr&rev=1641902433&tab_details=history&mediado=diff&do=media
text/html2022-01-11T12:59:27+01:00ligezaen:dydaktyka:krr:search-blind-master.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Asearch-blind-master.pdf&ns=en%3Adydaktyka%3Akrr&rev=1641902367&tab_details=history&mediado=diff&do=media
text/html2021-12-08T14:15:01+01:00ligezapl:dydaktyka:logic:logic_for_computer_science_2020_2021-7_dl_pl.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Alogic%3Alogic_for_computer_science_2020_2021-7_dl_pl.pdf&ns=pl%3Adydaktyka%3Alogic&rev=1638969301&tab_details=history&mediado=diff&do=media
text/html2021-12-08T14:12:44+01:00ligezapl:dydaktyka:logic:logic_for_computer_science_2021_5.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Alogic%3Alogic_for_computer_science_2021_5.pdf&ns=pl%3Adydaktyka%3Alogic&rev=1638969164&tab_details=history&mediado=diff&do=media
text/html2021-12-08T14:09:01+01:00ligezapl:dydaktyka:logic:logic_for_computer_science_2021_6.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Alogic%3Alogic_for_computer_science_2021_6.pdf&ns=pl%3Adydaktyka%3Alogic&rev=1638968941&tab_details=history&mediado=diff&do=media
text/html2021-10-12T12:15:08+01:00kkluzapl:dydaktyka:dss:repairexample.xml - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Adss%3Arepairexample.xml&ns=pl%3Adydaktyka%3Adss&rev=1634033708&tab_details=history&mediado=diff&do=media
text/html2021-10-05T15:24:36+01:00kkluzapl:dydaktyka:dss:travel_request.xml - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Adss%3Atravel_request.xml&ns=pl%3Adydaktyka%3Adss&rev=1633440276&tab_details=history&mediado=diff&do=media
text/html2021-10-05T12:26:03+01:00ligezaen:dydaktyka:krr:artificial_intelligence_2021_based_on_krr_2020_-1.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Aartificial_intelligence_2021_based_on_krr_2020_-1.pdf&ns=en%3Adydaktyka%3Akrr&rev=1633429563&tab_details=history&mediado=diff&do=media
text/html2021-05-06T16:26:09+01:00ligezapl:dydaktyka:logic:logic_for_computer_science_2021_2.pdf
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Alogic%3Alogic_for_computer_science_2021_2.pdf&ns=pl%3Adydaktyka%3Alogic&rev=1620311169&tab_details=history&mediado=diff&do=media
text/html2021-04-28T10:51:41+01:00ligezapl:dydaktyka:logic:logic_for_computer_science_2020_2021_5.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Alogic%3Alogic_for_computer_science_2020_2021_5.pdf&ns=pl%3Adydaktyka%3Alogic&rev=1619599901&tab_details=history&mediado=diff&do=media
text/html2021-04-27T13:06:18+01:00ligezapl:dydaktyka:pp:prolog.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog.zip&ns=pl%3Adydaktyka%3App&rev=1619521578&tab_details=history&mediado=diff&do=media
text/html2021-04-27T13:02:35+01:00ligezapl:dydaktyka:pp:python-prolog.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Apython-prolog.zip&ns=pl%3Adydaktyka%3App&rev=1619521355&tab_details=history&mediado=diff&do=media
text/html2021-04-27T13:00:34+01:00ligezapl:dydaktyka:pp:prolog-esst-examples.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog-esst-examples.zip&ns=pl%3Adydaktyka%3App&rev=1619521234&tab_details=history&mediado=diff&do=media
text/html2021-04-26T18:23:40+01:00ligezapl:dydaktyka:pp:prolog_2021_6.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog_2021_6.pdf&ns=pl%3Adydaktyka%3App&rev=1619454220&tab_details=history&mediado=diff&do=media
text/html2021-04-19T15:17:46+01:00ligezapl:dydaktyka:pp:prolog_2021-5.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog_2021-5.pdf&ns=pl%3Adydaktyka%3App&rev=1618838266&tab_details=history&mediado=diff&do=media
text/html2021-04-14T12:56:08+01:00ligezapl:dydaktyka:logic:logic_for_computer_science_2021_4.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Alogic%3Alogic_for_computer_science_2021_4.pdf&ns=pl%3Adydaktyka%3Alogic&rev=1618397768&tab_details=history&mediado=diff&do=media
text/html2021-04-12T16:06:03+01:00ligezapl:dydaktyka:pp:prolog_2021_4.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog_2021_4.pdf&ns=pl%3Adydaktyka%3App&rev=1618236363&tab_details=history&mediado=diff&do=media
text/html2021-03-31T08:35:34+01:00ligezapl:dydaktyka:logic:logic_for_computer_science_2021_3.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Alogic%3Alogic_for_computer_science_2021_3.pdf&ns=pl%3Adydaktyka%3Alogic&rev=1617172534&tab_details=history&mediado=diff&do=media
text/html2021-03-30T14:04:54+01:00ligezapl:dydaktyka:pp:prolog-lists-advanced-2021.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog-lists-advanced-2021.zip&ns=pl%3Adydaktyka%3App&rev=1617105894&tab_details=history&mediado=diff&do=media
text/html2021-03-25T14:12:49+01:00ligezaen:dydaktyka:krr:minizin-examples-25-03-2021.zip - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Aminizin-examples-25-03-2021.zip&ns=en%3Adydaktyka%3Akrr&rev=1616677969&tab_details=history&mediado=diff&do=media
text/html2021-03-23T14:08:37+01:00ligezapl:dydaktyka:pp:prolog-lists-2021.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog-lists-2021.zip&ns=pl%3Adydaktyka%3App&rev=1616504917&tab_details=history&mediado=diff&do=media
text/html2021-03-19T13:46:06+01:00ligezapl:dydaktyka:pp:prolog_2021_3.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog_2021_3.pdf&ns=pl%3Adydaktyka%3App&rev=1616157966&tab_details=history&mediado=diff&do=media
text/html2021-03-11T14:16:45+01:00ligezaen:dydaktyka:krr:python_prolog-examples-11-03-2021.zip - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Apython_prolog-examples-11-03-2021.zip&ns=en%3Adydaktyka%3Akrr&rev=1615468605&tab_details=history&mediado=diff&do=media
text/html2021-03-11T14:07:27+01:00ligezaen:dydaktyka:krr:minizinc-examples-11-03-2021.zip - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Aminizinc-examples-11-03-2021.zip&ns=en%3Adydaktyka%3Akrr&rev=1615468047&tab_details=history&mediado=diff&do=media
text/html2021-03-09T16:27:16+01:00ligezapl:dydaktyka:pp:prolog-11-20-examples-2021.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog-11-20-examples-2021.zip&ns=pl%3Adydaktyka%3App&rev=1615303636&tab_details=history&mediado=diff&do=media
text/html2021-03-09T16:25:43+01:00ligezapl:dydaktyka:pp:prolog_2021-2.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog_2021-2.pdf&ns=pl%3Adydaktyka%3App&rev=1615303543&tab_details=history&mediado=diff&do=media
text/html2021-03-04T18:50:43+01:00ligezapl:dydaktyka:est:linki-youtube.txt.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Aest%3Alinki-youtube.txt.zip&ns=pl%3Adydaktyka%3Aest&rev=1614880243&tab_details=history&mediado=diff&do=media
text/html2021-03-04T18:48:24+01:00ligezapl:dydaktyka:est:essential_thinking_10_problems_2021.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Aest%3Aessential_thinking_10_problems_2021.pdf&ns=pl%3Adydaktyka%3Aest&rev=1614880104&tab_details=history&mediado=diff&do=media
text/html2021-03-04T15:37:39+01:00ligezaen:dydaktyka:krr:minizinc-examples-4-03-2021.zip - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Aminizinc-examples-4-03-2021.zip&ns=en%3Adydaktyka%3Akrr&rev=1614868659&tab_details=history&mediado=diff&do=media
text/html2021-03-04T15:36:14+01:00ligezaen:dydaktyka:krr:ai-constraint_programming_2021.pdf - created
http://ai.ia.agh.edu.pl/?image=en%3Adydaktyka%3Akrr%3Aai-constraint_programming_2021.pdf&ns=en%3Adydaktyka%3Akrr&rev=1614868574&tab_details=history&mediado=diff&do=media
text/html2021-03-03T13:01:06+01:00ligezapl:dydaktyka:logic:logic_for_computer_science_2021_1.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Alogic%3Alogic_for_computer_science_2021_1.pdf&ns=pl%3Adydaktyka%3Alogic&rev=1614772866&tab_details=history&mediado=diff&do=media
text/html2021-03-03T12:59:51+01:00ligezapl:dydaktyka:logic:logic_for_computer_science_2021_0.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3Alogic%3Alogic_for_computer_science_2021_0.pdf&ns=pl%3Adydaktyka%3Alogic&rev=1614772791&tab_details=history&mediado=diff&do=media
text/html2021-03-02T16:23:36+01:00ligezapl:dydaktyka:pp:prolog-10-examples-2021.zip - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog-10-examples-2021.zip&ns=pl%3Adydaktyka%3App&rev=1614698616&tab_details=history&mediado=diff&do=media
text/html2021-03-02T16:21:01+01:00ligezapl:dydaktyka:pp:prolog_1_2021.pdf - utworzono
http://ai.ia.agh.edu.pl/?image=pl%3Adydaktyka%3App%3Aprolog_1_2021.pdf&ns=pl%3Adydaktyka%3App&rev=1614698461&tab_details=history&mediado=diff&do=media